Higher order annotated terms for proof search - Smaill, Alan; Green, Ian (University <Edinburgh>, 1996)