Enno Ohlebusch Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation. 17-31 http://dx.doi.org/10.1007/BFb0052358 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#Ohlebusch98