Extensional Higher-Order Resolution

Using Decision Procedures with a Higher-Order Logic

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics

Algorithms, Datastructures, and other Issues in Efficient Automated Deduction

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Extensional Higher-Order Paramodulation and RUE-Resolution

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction

Classical type theory

Handbook of automated reasoning

Higher-order aspects and context in SUMO

Web Semantics: Science, Services and Agents on the World Wide Web