@INPROCEEDINGS{,
author = {W. Moczydlowski},
booktitle = {2007 22nd Annual IEEE Symposium on Logic in Computer Science(LICS)},
title = {A Dependent Set Theory},
year = {2007},
volume = {00},
number = {},
pages = {23-34},
keywords={null},
doi = {10.1109/LICS.2007.7},
url = {doi.ieeecomputersociety.org/10.1109/LICS.2007.7},
ISSN = {},
month={06}
}