"Theorem Proving in Higher Order Logics, 11 conf., TPHOLs'98" - читать интересную книгу автора (Jim Grundy, Malcolm Newey)