Dale Miller Higher-Order Quantification and Proof Search. 60-74 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220060.htm db/conf/amast/amast2002.html#Miller02