Hierarchical constraint logic programming

<i>Numerical Recipes, The Art of Scientific Computing</i>

William H. Press, Brian P. Flannery, Saul A. Teukolsky et al. · American Journal of Physics · 1987 · 10.1K citations

Computing, Computer Science, Computational Physics +10

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

Sketchpad

Ivan E. Sutherland · 1963 · 1.8K citations

Computing, Computer Science, Drawing +8

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

Computing, Computer Science, Combinatorics +10

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

Computing, Computer Science, Knowledge Representation +9