Charles C. Sims Verifying Nilpotence. 231-247 1987 3 J. Symb. Comput. 3 db/journals/jsc/jsc3.html#Sims87