## 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 |

Citations: | 20 - 3 self |