Liste des citations dans Numdam pour : Finiteness results on rewriting systems

RAIRO. Informatique théorique, Tome 15 (1981) no. 4, pp. 373-391.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 49 (2015) no. 3, pp. 233-254.