Theorem Proving in Higher Order Logics - Mohamed, Otmane Ait (Springer Berlin Heidelberg, 2020)