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

by B K Rosen
Venue:J. ACM