1. Drescher, C., Gebser, M., Grote, T., Kaufmann, B., König, A., Ostrowski, M., Schaub, T.: Conflict-Driven Disjunctive Answer Set Solving. In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, pp. 422–432. AAAI Press, Menlo Park (2008)
2. Ferraris, P.: A logic program characterization of causal theories. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 366–371 (2007)
3. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3/4), 365–386 (1991)
4. Gelfond, M., Lifschitz, V., Przymusińska, H., Truszczyński, M.: Disjunctive Defaults. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, pp. 230–237. Morgan Kaufmann, San Fransisco (1991)
5. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)