Simple Word Problems in Universal Algebras (1970)

by D E Knuth, P Bendix
Venue:In: Computational Problems in Abstract Algebra