T. Libert, “ZF and the axiom of choice in some paraconsistent set theories”, LLP, no. 11-12, pp. 91–114, Nov. 2003.