Selected references Ravi Sethi. Testing for the Church-Rosser property. Journal of the ACM, 21(4):671-679, October 1974.