Patrick Dehornoy Probleme de mots dans les gerbes libres. 199-213 1992 94 Theor. Comput. Sci. 2 db/journals/tcs/tcs94.html#Dehornoy92a