Theorem Proving in Higher Order Logics - Berghofer, Stefan (Springer Berlin Heidelberg, 2009)