On word problems in equational theories (1987)

by J Hsiang, M Rusinowitch
Venue:14th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science