G.: Theorem proving in large theories (1998)

by W Reif, Schellhorn
Venue:Automated Deduction—A Basis for Applications, vol. III: Applications