On equational theories, unification and decidability (1987)

by H-J Bürckert, A Herold, M Schmidt-Schauß
Venue:Journal of Symbolic Computation