Ordered completion for first-order logic programs on finite structures

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Computing, Computer Science, Computer Systems +11

Logic programs with stable model semantics as a constraint programming paradigm

Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 1999 · 851 citations

Computing, Computer Science, Formal Methods +15

Solving SAT and SAT Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 777 citations

Computing, Computer Science, Algorithms +16

Disjunctive datalog

Thomas Eiter, Georg Gottlob, Heikki Mannila · ACM Transactions on Database Systems · 1997 · 490 citations · Full text

Computing, Computer Science, Databases +13