Progress in the Development of Automated Theorem Proving for Higher-Order Logic Book chapter (January 2009)