Specifying theorem provers in a higher-order logic programming language (1988)

by Amy Felty, Dale Miller
Venue:In Ninth International Conference on Automated Deduction, number 310 in LNCS