Errata: Testing for the Church-Rosser Property

Ravi Sethi. Errata: Testing for the Church-Rosser Property . Journal of the ACM, 22(3):424, 1975. [doi]

Abstract

Abstract is missing.