Iliev, C. 1995. On the Church-Rosser property and reducibility of natural derivations. Ann. Sofia Univ. Fac. Math. and Inf. 87, (Dec. 1995), 87–97.