Libert, T. ZF and the Axiom of Choice in Some Paraconsistent Set Theories. LLP 2003, 91-114.