Higher-order annotated terms for proof search (1996)

by Alan Smaill, Ian Green
Venue:Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96