Higher-order annotated terms for proof search (1996)

by A Smaill, I Green
Venue:In TPHOLs9