1. Baral, C. (2003). Knowledge Representation, Reasoning and Declarative Problem Solving: Cambridge University Press.
2. Bidoit, N., & Froidevaux, C. (1987). Minimalism subsumes default logic and circumscription in stratified logic programming. In: Proceedings LICS-87.
3. Dimopoulos, Y., Nebel, B., Koehler, J. (1997). Encoding planning problems in non-monotonic logic programs In Steel, S., & Alami, R. (Eds.), Proceedings of European Conference on Planning, (pp. 169–181): Springer.
4. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T. (2012). Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning: Morgan and Claypool Publishers.
5. Gelfond, M. (2008). Answer sets In van Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation: Elsevier.