E. G. K. López-Escobar. Remarks on the Church-Rosser Property. Journal of Symbolic Logic, 55(1):106-112, 1990.
@article{Lopez-Escobar90, title = {Remarks on the Church-Rosser Property}, author = {E. G. K. López-Escobar}, year = {1990}, tags = {e-science}, researchr = {https://researchr.org/publication/Lopez-Escobar90}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {55}, number = {1}, pages = {106-112}, }