Réductions de graphes et systèmes de Church-RosserG. Chaty and M. CheinRAIRO-Oper. Res., 15 2 (1981) 109-117DOI: https://doi.org/10.1051/ro/1981150201091
