Theorem Proving in Higher Order Logics - Schneider, Klaus; Brandt, Jens; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2007)