Closures and fairness in the semantics of programming logic

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Natural Sciences, Computer Science, Mathematics +9

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

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

Computing, Computer Science, Knowledge Representation +7

Contributions to the Theory of Logic Programming

Krzysztof R. Apt, M. H. van Emden · Journal of the ACM · 1982 · 588 citations · Full text

Computing, Computer Science, Artificial Intelligence +7