Matings in matrices

Principles of Artificial Intelligence

1982 • 3,384 citations

Untersuchungen �ber das logische Schlie�en. I

1935 • 2,007 citations

Symbolic Logic and Mechanical Theorem Proving

1973 • 1,504 citations

Principles of artificial intelligence

1980 • 830 citations

Automated Theorem Proving

1987 • 471 citations

Theorem Proving via General Matings

1981 • 286 citations

Non-resolution theorem proving

1977 • 232 citations

Recherches sur la théorie de la démonstration

1930 • 220 citations

On Matrices with Connections

1981 • 185 citations

Logic, form and function

1979 • 147 citations

Automated Theorem Proving

1982 • 113 citations

Meta-level inference and program verification

2005 • 83 citations

Syntax-directed, semantics-supported program synthesis

1980 • 69 citations

Transforming matings into natural deduction proofs

1980 • 66 citations

A comparative study of several proof procedures

1982 • 36 citations

Automated Theorem Proving

1978 • 28 citations

Computationally Improved Versions of Herbrand's Theorem

1982 • 18 citations

Solving open questions with an automated theorem-proving program

2005 • 16 citations