1. Balduccini, M., Mellarkod, V.S.: A-prolog with cr-rules and ordered disjunction. In: International Conference on Intelligent Sensing and Information Processing, pp. 1–6 (2004)
2. Brewka, G.: Logic Programming with Ordered Disjunction. In: Proceedings of the 18th National Conference on Artificial Intelligence, AAAI-2002, Morgan Kaufmann, San Francisco (2002)
3. Brewka, G., Niemela, I., Truszczynski, M.: AnswerSet Optimization. In: IJCAI 2003, pp. 867–872 (2003)
4. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) 5th Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)
5. Lifschitz, V., Pearce, D., Valverde, A.: Strongly Equivalent Logic Programs. ACM Transactions on Computational Logic 2, 526–541 (2001)