TY  - RPRT
TI  - On Upper Bounds on the Church-Rosser Theorem
AU  - Ken-etsu Fujita
PY  - 2017
DO  - 10.4204/eptcs.235.2
UR  - https://arxiv.org/abs/1701.00637
ID  - 1701.00637
ER  -