1. Eddie H. Lo, A polycyclic quotient algorithm, J. Symbolic Comput. 25 (1998), no. 1, 61–97.[MR]