More Church-Rosser Proofs (in Isabelle/HOL) (1996)

by Tobias Nipkow
Venue:Journal of Automated Reasoning
Citations:39 - 4 self