Satallax: An Automatic Higher-Order Prover.

Chad E. Brown

Browse the full CADE paper archive.