TY  - RPRT
TI  - Tree-manipulating systems and Church-Rosser theorems.
AU  - Rosen, B. K.
PY  - 1973
UR  - https://ntrs.nasa.gov/citations/19730036160
ID  - 19730036160
ER  -