Finiteness results on rewriting systems Jean-Claude Raoult (1981) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
First-order properties of trees, star-free expressions, and aperiodicity Uschi Heuter (1991) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications