Matthew Dickerson The Inverse of an Automorphism in Polynomial Time. 209-220 1992 13 J. Symb. Comput. 2 db/journals/jsc/jsc13.html#Dickerson92