1. van den Akker, J., Tan, Y.H.: QML: A Paraconsistent Default Logic. Logique Et Analyse 143(143–144), 311–328 (1993)
2. Arieli, O.: Paraconsistent preferential reasoning by signed quantified boolean formulae. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22–27, pp. 773–777 (2004)
3. Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)
4. Lecture Notes in Computer Science;O Arieli,2002
5. Arieli, O., Denecker, M.: Reducing preferential paraconsistent reasoning to classical entailment. Journal of Logic and Computation 13(4), 557–580 (2003)