Yuan Yu Computer Proofs in Group Theory. 251-286 1990 6 J. Autom. Reasoning 3 db/journals/jar/jar6.html#Yu90