1. Alcântara, J., Damásio, C.V., Pereira, L.M.: A declarative characterization of disjunctive paraconsistent answer sets. In: Proc. ECAI 2004, pp. 951–952. IOS Press (2004)
2. Apt, K., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker (ed.) [16], pp. 89–148
3. Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: McCarthy, J., Williams, M.A. (eds.) Int’l Symp. Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symp. Series, pp. 9–18 (2003)
4. Ben-Eliyahu, R., Dechter, R.: Propositional semantics for disjunctive logic programs. Ann. Math. & Artif. Intell. 12, 53–87 (1994)
5. Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68(2), 135–154 (1989)