1. Marek, V., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective. Springer, Heidelberg (1999)
2. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 241–273 (1999)
3. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc. Fifth Int’l Conf. and Symp., pp. 1070–1080 (1988)
4. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, NewYork (1978)
5. Babovich,Y., Erdem, E., Lifschitz, V.: Fages’ theorem and answer set programming. In: Proc. Eighth Int’l Workshop on Non-Monotonic Reasoning (2000),
http://arxiv.org/abs/cs.ai/0003042