A Simplified Proof of the Church-Rosser Theorem. - Yuichi Komori; Naosuke Matsuda; Fumika Yamakawa (Stud Logica, 2014)