[6]	Hubert Comon and Maribel Fernández. Negation elimination in equational formulae. Research Report 716, Laboratoire de Recherche en Informatique, Univ. Paris-Sud, France, December 1991. [ bib ]
[5]	Maribel Fernández. Equational disunification. Research Report 684, Laboratoire de Recherche en Informatique, Univ. Paris-Sud, July 1991. [ bib ]
[4]	Delia Kesner. Pattern matching in order sorted languages. PRL Report 10, PRL - Digital Equipment Corporation, May 1991. [ bib ]
[3]	Claude Marché. The word problem of ACD-ground theories is undecidable. Research Report 663, Laboratoire de Recherche en Informatique, Université de Paris-Sud, Orsay, France, April 1991. [ bib ]
[2]	Siva Anantharaman and Nirina Andrianarivelo. A complete semi-decision procedure in Horn theories. Research report, LRI, 1991. [ bib ]
[1]	Hubert Comon. Ground normal forms and inductive proofs. part I: complement problems. Research Report 698, Laboratoire de Recherche en Informatique, 1991. [ bib ]