Theorem Proving in Higher Order Logics - Schneider, Klaus (Springer Berlin Heidelberg, 2020)