H. Perdrix Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible. 97-108 1984 conf/stacs/1984 STACS db/conf/stacs/stacs84.html#Perdrix84 http://dx.doi.org/10.1007/3-540-12920-0_9