1. G. Brewka, S. Benferhat, and D. Le Berre. Qualitative choice logic. In Proc. Principles of Knowledge Representation and Reasoning, KR-02, pages 158–169. Morgan Kaufmann, 2002.
2. G. Brewka. Logic programming with ordered disjunction. In Proc. 18th National Conference on Artificial Intelligence, AAAI-2002. Morgan Kaufmann, 2002.
3. T. Eiter and G. Gottlob. Propositional circumscription and extended closed-world reasoning are IIP
2-complete. Theoretical Computer Science, 114:231–245, 1993.
4. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–385, 1991.
5. Tomi Janhunen, Ilkka Niemelä, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411–419. Morgan Kaufmann Publishers, April 2000.