@article{1129642124, author = {Rathjen, Michael}, title = {The disjunction and related properties for constructive Zermelo-Fraenkel set theory}, journal = {J. Symbolic Logic}, volume = {70}, number = {1}, year = {2005}, pages = { 1233-1254}, language = {en}, url = {http://dml.mathdoc.fr/item/1129642124} }
Rathjen, Michael. The disjunction and related properties for constructive Zermelo-Fraenkel set theory. J. Symbolic Logic, Tome 70 (2005) no. 1, pp. 1233-1254. http://gdmltest.u-ga.fr/item/1129642124/