Mating search without path enumeration

A Breadth-First Strategy for Mating Search

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

Classical type theory

Handbook of automated reasoning

Herbrand Award Acceptance Speech

Journal of Automated Reasoning

Proving theorems of type theory automatically with TPS

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4