Tree-manipulating systems and Church-Rosser theorems (1973)

by B Rosen
Venue:Journal of the ACM