L.C. Paulson (1989): The Foundation of a Generic Theorem Prover
Title:
The Foundation of a Generic Theorem Prover
Author(s):
L.C. Paulson
Year:
1989
Journal:
Automated Reasoning
Volume:
5
Concepts
