"On Equational Theories, Unification and Decidability."

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics