Bibliography

1

M. Gelfond and V. Lifschitz.
The stable model semantics for logic programming.
In Proceedings of the International Conference on Logic Programming, pages 1070-1080. The MIT Press, 1988.

2

M. Gelfond and V. Lifschitz.
Classical negation in logic programs and deductive databases.
New Generation Computing, 9:365-385, 1991.

3

V. Lifschitz, L. Tang, and H. Turner.
Nested Expressions in Logic Programs.
Annals of Mathematics and Artificial Intelligence, 25(3-4):369-389, 1999.