Libert, T. „ZF and the Axiom of Choice in Some Paraconsistent Set Theories”. Logic and Logical Philosophy, nr 11-12, listopad 2003, s. 91-114, doi:10.12775/LLP.2003.005.