Title: Theorem Proving in Higher Order Logics
Subjects: Automatic theorem proving, Logic programming