1. Peter Auer. Unification with associative functions. PhD thesis, Technical University Vienna, 1992.
2. Franz Baader and Klaus Schulz. Unification in the union of disjoint equational theories: combining decision procedures. 1991. To be published in the proceedings of the IWWERT'91.
3. Alexander Herold. Combination of unification algorithms. In Proceedings of the 8th Conference on Automated Deduction, pages 450–496, Springer LNCS 230, 1986.
4. Claude Kirchner. A new unification method: a generalisation of Martelli-Montanari's algorithm. In Proceedings of the 7th International Conference on Automated Deduction, pages 224–247, Springer LNCS 170, May 1984.
5. Manfred Schmidt-Schau\. Unification in a combination of arbitrary disjoint equational theories. In Claude Kirchner, editor, Unification, pages 217–265, Academic Press, 1990.