Theorem Proving in Higher Order Logics - Mohamed, Otmane Ait; Ait Mohamed, Otmane; Kanade, Takeo; Muñoz, César; Muñoz, César A.; Tahar, Sofiène; Kittler, Josef (Springer Berlin Heidelberg, 2008)