Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years

Adaptive Saturation-Based Reasoning

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Algorithms, Datastructures, and other Issues in Efficient Automated Deduction

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

Term indexing

Handbook of automated reasoning

Limited resource strategy in resolution theorem proving

Journal of Symbolic Computation - Special issue: First order theorem proving

The design and implementation of VAMPIRE

AI Communications - CASC

A phytography of WALDMEISTER

AI Communications - CASC

Automated reasoning: past story and new trends

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

First-Order theorem proving and vampire

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

The strategy challenge in SMT solving

Automated Reasoning and Mathematics