W. Plesken Towards a Soluble Quotient Algorithm. 111-122 1987 4 J. Symb. Comput. 1 db/journals/jsc/jsc4.html#Plesken87