A theory of complete logic programs with equality

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

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

Fixed point theorems and semantics: a folk tale

J.-L. Lassez, V.L. Nguyen, Ea Sonenberg · Information Processing Letters · 1982 · 133 citations

Computing, Computer Science, Mathematics +14

Closures and fairness in the semantics of programming logic

J.-L. Lassez, Michael J. Maher · Theoretical Computer Science · 1984 · 104 citations

Computing, Computer Science, Logic +7

Completeness of the negation as failure rule

Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd · 1983 · 87 citations

Humanities, Computer Science, Mathematics +11