Torsten Minkwitz An Algorithm for Solving the Factorization Problem in Permutation Groups. 89-95 1998 26 J. Symb. Comput. 1 db/journals/jsc/jsc26.html#Minkwitz98