1. van den Akker, J., Tan, Y.H.: Qml: a paraconsistent default logic. Logique Anal. 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, pp. 773-777. PAIS 2004, Valencia (2004)
3. Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102(1), 97–141 (1998)
4. Arieli, O., Denecker, M.: Modeling paraconsistent reasoning by classical logic Eiter, T., Schewe, K.D. (eds.) , vol. 2284. Springer Berlin, Heidelberg. https://doi.org/10.1007/3-540-45758-5_1 (2002)
5. Arieli, O., Denecker, M.: Reducing preferential paraconsistent reasoning to classical entailment. J. Log. Comput. 13(4), 557–580 (2003)