Top-down semantics of fair computations of logic programs

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

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

A compactification of the algebra of terms

Jan Mycielski, Walter Taylor · Algebra Universalis · 1976 · 24 citations

Natural Sciences, Mathematics, Algebra +7