19. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming.

In Robert A. Kowalski and Kenneth A. Bowen, editors, *Proceedings of the 5th International* Conference and Symposium on Logic Programming, pages 1070–1080, Seattle, Washington, August 15-19 1988. MIT Press.

20. Katsumi Inoue and Chiaki Sakama. Negation as failure in the head. *Journal of Logic Programming*, 35(1):39–78, 1998.

21. Pedro Cabalar, David Pearce, and Agust´ın Valverde. Minimal logic programs. In Ver´onica Dahl and Ilkka Niemel¨a, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of *Lecture Notes in Computer Science*, pages 104– 118, Porto, Portugal, September 8-13 2007. Springer.

22. Brian A. Davey and Hilary A. Priestley. *Introduction to Lattices and Order*. Cambridge University Press, 1990.

23. Jo˜ao Alexandre Leite. *Evolving Knowledge Bases*, volume 81 of *Frontiers of Artificial Intelligence and Applications, xviii + 307 p. Hardcover*. IOS Press, 2003.