Title: The foundation of a generic theorem prover
First published: 1988