Liste des citations dans Numdam pour : Implementing term rewriting by jungle evaluation
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 5, pp. 445-472.
Rewriting on cyclic structures : equivalence between the operational and the categorical description
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 4-5, pp. 467-493.
