A Mechanical Proof of the Church-Rosser Theorem (1988)

by N Shankar
Venue:Journal of the ACM