The Foundation of a Generic Theorem Prover (1989)

by Lawrence C. Paulson
Venue:Journal of Automated Reasoning
Citations:418 - 46 self