Higher-order quantification and proof search (2002)

by D Miller
Venue:In Proceedings of the AMAST confrerence, LNCS