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