1. T.B. Baird, G.E. Peterson, and R.W. Wilkerson. Complete sets of reductions modulo associativity, commutativity and identity. In N. Dershowitz, editor, Proceedings of RTA '89, Chapel Hill, (North Carolina, USA), volume 355 of LNCS, pages 29–44. Springer-Verlag, 1989.
2. A. Boudet. Unification dans les mélanges de théories équationelles. application aux axiomes d'associativité, commutativité, identité et idempotence, aux anneaux booléens, et aux groupes abéliens. Thèse de l'Université d'Orsay, 1990.
3. W. Buntine and H.-J. Bürckert. On solving equations and disequations. Technical Report SR-89-03, Universität Kaiserslautern, 1989.
4. M. Clausen and A. Fortenbacher. Efficient solution of linear diophantine equations. JSC, 8:201–216, 1989. Special issue on unification.
5. E. Contejean and H. Devie. Solving systems of linear diophantine equations. In H.-J. Bürckert and W. Nutt, editors, Proceedings of UNIF'89, Lambrecht (Germany), 1989.