Iliev, Chavdar. 1995. “On the Church-Rosser Property and Reducibility of Natural Derivations”. Ann. Sofia Univ. Fac. Math. And Inf. 87 (December):87-97. https://ftl5.uni-sofia.bg/index.php/fmi/article/view/407.