Yves Lafont Alain Prouté Church-Rosser Property and Homology of Monoids. 297-326 1991 1 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs1.html#LafontP91 http://dx.doi.org/10.1017/S096012950000133X