Deleting Repeated Goals in the Problem Reduction Format

Principles of artificial intelligence

Principles of artificial intelligence

Empirical explorations of the geometry-theorem proving machine

Computers & thought

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Automatic theorem proving: new results on goal trees and presburger arithmetic.

Automatic theorem proving: new results on goal trees and presburger arithmetic.

Automated theorem proving: A logical basis (Fundamental studies in computer science)

Automated theorem proving: A logical basis (Fundamental studies in computer science)