A Proof Generating System for Higher Order Logic. Computer Laboratory Technical Report 103. The University of Cambridge (1987)

by M J C Gordon