Matthias Jantzen Thue Systems and the Church-Rosser Property. 80-95 1984 conf/mfcs/1984 MFCS db/conf/mfcs/mfcs84.html#Jantzen84 http://dx.doi.org/10.1007/BFb0030291