A mechanical proof of the Church-Rosser theorem (1988)

by N Shankar
Venue:J. ACM