1. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)
2. Anger, C., Schaub, T., Truszczyński, M.: ASPARAGUS – the Dagstuhl Initiative. ALP Newsletter 17(3) (2004), http://asparagus.cs.uni-potsdam.de
3. Lecture Notes in Artificial Intelligence;N. Leone,2007
4. Lecture Notes in Computer Science;M. Truszczyński,2007
5. Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation, ch. 7. Elsevier, Amsterdam (2007)