Representing higher-order logic proofs in HOL (1995)

by J von Wright
Venue:The Computer Journal