1. Anderson, A., and N. Belnap, Entailment, vol. 1. Princeton University Press, Princeton, 1975.
2. Arieli, O., Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae, ACM Transactions on Computational Logic 8(3), 2017. doi: 10.1145/1243996.1244001 .
3. Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language, and Information 5(1):25–63, 1996.
4. Arieli, O., and A. Avron, The value of the four values, Artificial Intelligence 102(1):97–141, 1998.
5. Arieli, O., and A. Avron, Bilattices and paraconsistency, in D. Batens, C. Mortensen, G. Priest and J. Van Bendegem (eds.), Frontiers of Paraconsistent Logic, vol. 8 of Studies in Logic and Computation, Research Studies Press, London, 2000, pp. 11–27.