Finiteness results on rewriting systems Jean-Claude Raoult — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Rational tree relations. Raoult, Jean-Claude — 1997 Bulletin of the Belgian Mathematical Society - Simon Stevin