Eddi H. Lo A Polycyclic Quotient Algorithm. 61-97 1998 25 J. Symb. Comput. 1 db/journals/jsc/jsc25.html#Lo98a