@article{CMUC_1993__34_1_a3,
     author = {Sochor, A.},
     title = {Complexity of the axioms of the alternative set theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {33--45},
     publisher = {mathdoc},
     volume = {34},
     number = {1},
     year = {1993},
     mrnumber = {1240201},
     zbl = {0792.03037},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1993__34_1_a3/}
}