Experiments with computer implementations of procedures which often derive decision algorithms for the word problem in abstract algebras," Memo MTP-7 (1980)

by G Butler, D S Lankford