Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions

Formal Verification of Fault Tolerance Using Theorem-Proving Techniques

IEEE Transactions on Computers

Otter - The CADE-13 Competition Incarnations

Journal of Automated Reasoning

A New Technique for Verifying and Correcting Logic Programs

Journal of Automated Reasoning

The Automation of Proof: A Historical and Sociological Exploration

IEEE Annals of the History of Computing

Automated reasoning: real uses and potential uses

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2

Semantic paramodulation for Horn sets

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2

Tree Automata and Automated Model Building

Fundamenta Informaticae