1. H. Comon and P. Lescanne. Equational Problems and Disunification. Research Report Lifia 82 Imag 727, Univ. Grenoble, May 1988.
2. A. Colmerauer. Equations and inequations on finite and infinite trees. In FGCS'84 Proceedings, pages 85–99, November 1984.
3. H. Comon. Sufficient completeness, term rewriting systems and anti-unification. In Proc. 8th Conf. on Automated Deduction, Oxford, LNCS 230, pages 128–140, Springer-Verlag, 1986.
4. H. Comon. Unification et Disunification: Théorie et Applications. Thèse de Doctorat, I.N.P. de Grenoble, France, 1988.
5. H. Comon and J.-L. Remy. How to Characterize the Language of Ground Normal Forms. Research Report 676, INRIA, June 1987.