Iliev, C. On the Church-Rosser Property and Reducibility of Natural Derivations. Ann. Sofia Univ. Fac. Math. and Inf. 1995, 87, 87-97.