Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

Automated theorem proving: mapping logic into AI

ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems

Theorem proving using equational matings and rigid E-unification

Journal of the ACM (JACM)

Classical type theory

Handbook of automated reasoning

Herbrand Award Acceptance Speech

Journal of Automated Reasoning

Matrix proof methods for modal logics

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2