Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

1965 • 308 citations

The Concept of Demodulation in Theorem Proving

1967 • 187 citations

Artificial intelligence : the heuristic programming approach

1971 • 145 citations

The unit preference strategy in theorem proving

1964 • 121 citations

Semi-Automated Mathematics

1969 • 78 citations

Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets

1972 • 55 citations

An Interactive Theorem-Proving Program

1983 • 33 citations

Experiment with an automatic theorem-prover having partial ordering inference rules

1973 • 26 citations

Automated theorem-proving for the theories of partial and total ordering

1975 • 8 citations

An Approach for Finding C -Linear Complete Inference Systems

1972 • 7 citations