Terrance Swift:
Tabling for Non-Monotonic Programming.
201-240
Ilkka Niemelä:
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm.
241-273
Chris Giannella, John S. Schlipf:
An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs.
275-309