db/journals/jacm/Rosen73.html Barry K. Rosen Tree-Manipulating Systems and Church-Rosser Theorems. 160-187 1973 20 J. ACM 1 http://doi.acm.org/10.1145/321738.321750 db/journals/jacm/jacm20.html#Rosen73