On equational theories, unification and (un)decidability (0)

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