[5]	Hubert Comon. Ground normal forms and inductive proofs. part II: Conditional grammars. submitted, 1991. [ bib ]
[4]	Hubert Comon. Ground normal forms and inductive proofs. part III: Specification transformations. In preparation, 1991. [ bib ]
[3]	Catherine Delor. Terminaison de systèmes de réécriture, application à la transformation de formules équationnelles. Thèse de Doctorat, Université Paris VII, France, 1991. [ bib ]
[2]	Jieh Hsiang and Jean-Pierre Jouannaud. Complete sets of inference rules for E-unification problems. Proc. Worshop on Unification, Val d'Ajol, 1988, Revised version in preparation, 1991. [ bib ]
[1]	Judith Jakoubovitch. Priority rewrite systems. to appear, 1991. [ bib ]