NP-SPEC: an executable specification language for solving all problems in NP

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Computing, Computer Science, Information Systems +16

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

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

Foundations of databases

Choice Reviews Online · 1995 · 1.8K citations

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16