Réductions de graphes et systèmes de Church-Rosser
and
RAIRO-Oper. Res., 15 2 (1981) 109-117
Published online: 06 February 2017
DOI: 10.1051/ro/1981150201091
