Algorithms for polycyclic-by-finite groups. - Shavak K. Sinanan; Derek F. Holt (J. Symb. Comput., 2017)