1. Birkhoff, G.: On the Structure of Abstract Algebra, Proc. Cambridge Phil. Soc., Vol. 31, p. 433–454, (1935)
2. Bürckert, H.-J., Herold, A. and Schmidt-Schauß, M.: On Equational Theories, Unification and Decidability, to appear as SEKI-Report SR-19-86, Universität Kaiserslautern, (1986)
3. Burris, S. and Sankappanavar, H.P.: A Course in Universal Algebra, Springer, (1981)
4. Book, R. and Siekmann, J.H.: On the Unification Hierarchy, Proc. of GWAI'85, Springer, p. 111–117, (1985)
5. Bürckert, H.-J.: Some Relationships between Unification, Restricted Unification and Matching, in Proc. of the 8th CADE, Springer, LNCS 230, p. 514–524, (1986)