Réductions de graphes et systèmes de Church-Rosser G. Chaty; M. Chein — 1981 RAIRO - Operations Research - Recherche Opérationnelle