Libert, T. (2003) “ZF and the axiom of choice in some paraconsistent set theories”, Logic and Logical Philosophy, (11-12), pp. 91–114. doi: 10.12775/LLP.2003.005.