Progress in the Development of Automated Theorem Proving for Higher-Order Logic.

Geoff Sutcliffe, Christoph Benzmller, Chad E. Brown, Frank Theiss

Browse the full CADE paper archive.