Specifying theorem provers in a higherorder logic programming language (1988)

by Amy Felty, Dale Miller
Venue:In 9th Conference on Automated Deduction