1. Anger, C., Gebser, M., Schaub, T.: Approaching the core of unfounded sets. In: Dix, J., Hunter, A. (eds.) Proceedings of the International Workshop on Nonmonotonic Reasoning, pp. 58–66 (2006)
2. Lecture Notes in Artificial Intelligence;M. Denecker,2000
3. Lecture Notes in Computer Science;N. Eén,2004
4. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: LPNMR 2007 (2007)
5. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: JICSLP 1988, pp. 1070–1080. MIT Press, Cambridge (1988)