On word problems in equational theories (1987)

by Jieh Hsiang, Michael Rusinowitch
Venue:In Automata, Languages and Programming, volume 267 of LNCS