Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Hubert Comon. Unification et disunification: Théorie et applications. Thèse de Doctorat, Institut National Polytechnique de Grenoble, France, 1988.
2. Hubert Comon. Ground normal forms and inductive proofs. part I: complement problems. Submitted to Journal of Symbolic Computation, 1991.
3. Hubert Comon and Maribel Fernández. Negation elimination in equational formulae. In Proc. 17th Mathematical Foundations of Computer Science, Praha, 1992.
4. Hubert Comon and Pierre Lescanne. Equational problems and disunification. Journal of Symbolic Computation, 7:371–425, 1989.
5. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243–309. North-Holland, 1990.