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