Completeness, Confluence, and Related Properties of Clause Graph Resolution

Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution

Journal of the ACM (JACM)

Elimination of Self-Resolving Clauses

Journal of Automated Reasoning

An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Semantic Selection for Resolution in Clause Graphs

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

Ordered Resolution vs. Connection Graph Resolution

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

Combining superposition, sorts and splitting

Handbook of automated reasoning

Early History and Perspectives of Automated Deduction

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence