Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
scientific article; zbMATH DE number 4152692
scientific article