Ravi Sethi Testing for the Church-Rosser Property. 671-679 1974 21 J. ACM 4 http://doi.acm.org/10.1145/321850.321862 db/journals/jacm/jacm21.html#Sethi74