The Foundation of a Generic Theorem Prover (1989)

by L C Paulson
Venue:Journal of Automated Reasoning