Tree-Manipulating Systems and Church-Rosser Theorems

Barry K. Rosen

Browse the full STOC paper archive.