@article{DBLP:journals/mlq/Esser97,
author = {Olivier Esser},
title = {An Interpretation of the Zermelo-Fraenkel Set Theory and
the Kelley-Morse Set Theory in a Positive Theory},
journal = {Math. Log. Q.},
volume = {43},
year = {1997},
pages = {369-377},
bibsource = {DBLP, http://dblp.uni-trier.de}
}