Yves Métivier Calcul de Longueurs de Chaînes de Réécriture dans le Monoïde Libre. 71-87 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#Metivier85