Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Cut Elimination with xi-Functionality
(pdf)
Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday