-  C. Baral, 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
-  C. Baral M. Gelfond and A. Provetti, 1997. Representing Actions: Laws, Observations and Hypotheses. Journal of Logic Programming, 31(1-3).
-  L. Padovani, 2004. Answer Set Programming in Interactive Gaming Environment. Graduation project in Informatics (in Italian). University of Milan. Available from http://mag.usr.dsi.unimi.it/
Web location of the smodels solver: