Checking consistency of database constraints: a logical basis,

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +15

A Proof Method for Quantification Theory: Its Justification and Realization

Paul C. Gilmore · IBM Journal of Research and Development · 1960 · 159 citations

Computing, Computer Science, Mathematics +14

Resolution Strategies as Decision Procedures

William H. Joyner · Journal of the ACM · 1976 · 152 citations

Computing, Computer Science, Mathematics +13

The Decision Problem

R. L. Goodstein · The Mathematical Gazette · 1957 · 35 citations

Natural Sciences, Mathematics, Algorithms +11