Hans-Jürgen Bürckert Alexander Herold Manfred Schmidt-Schauß On Equational Theories, Unification, and (Un)Decidability. 3-49 1989 8 J. Symb. Comput. 1/2 db/journals/jsc/jsc8.html#BurckertHS89