Using Sophisticated Models in Resolution Theorem Proving

The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis

Automated Deduction in Classical and Non-Classical Logics Selected Papers

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Relative Complexities of First Order Calculi

Decision Aiding Software:

Knowledge and Infallibility

Resolution Methods for the Decision Problem

Logic Programming: A Classified Bibliography

Proof Theory of Modal Logic

Theory Reasoning in Connection Calculi

Description