Simple word problems in universal algebras (1970)

by D Knuth, P Bendix
Venue:In J. Leech (Ed.), Computational