Seventy-five problems for testing automatic theorem provers

Proving functionally difficult problems through model generation

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's

Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving

Journal of Automated Reasoning

An Erratum for Some Errata to ATP Problems

Journal of Automated Reasoning

A Benchmark Method for the Propositional Modal Logics K, KT, S4

Journal of Automated Reasoning

Parallelization of a Hyper-Linking–Based Theorem Prover

Journal of Automated Reasoning

Semantic Selection for Resolution in Clause Graphs

AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence

Reflecting BDDs in Coq

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science

Towards Semantic Goal-Directed Forward Reasoning in Resolution

AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications

Proof Terms for Simply Typed Higher Order Logic

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics

A Time Efficient KE Based Theorem Prover

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Satisfiability of object-oriented database constraints with set and bag attributes

Information Systems

leanCoP: lean connection-based theorem proving

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

HyperS tableaux - heuristic hyper tableaux

Acta Cybernetica

The development of CASC

AI Communications - CASC

α lean TAP: A Declarative Theorem Prover for First-Order Classical Logic

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Proof transformation with built-in equality predicate

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

The philosophy of automated theorem proving

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning

Path-focused duplication: a search procedure for general matings

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

A structured set of higher-order problems

TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics

Model Finding In Semantically Guided Instance-Based Theorem Proving

Fundamenta Informaticae