Remarks on the Church-Rosser Property.

E. G. K. López-Escobar Remarks on the Church-Rosser Property. 106-112 1990 55 J. Symb. Log. 1 db/journals/jsyml/jsyml55.html#Lopez-Escobar90