@inproceedings{DBLP:conf/lics/Moczydlowski07,
  author    = {Wojciech Moczydlowski},
    title     = {A Dependent Set Theory.},
      booktitle = {LICS},
        year      = {2007},
          pages     = {23-34},
            ee        =
{http://doi.ieeecomputersociety.org/10.1109/LICS.2007.7},
  crossref  = {DBLP:conf/lics/2007},
    bibsource = {DBLP, http://dblp.uni-trier.de}
    }
    
    @proceedings{DBLP:conf/lics/2007,
      title     = {22nd IEEE Symposium on Logic in Computer Science (LICS
2007),
               10-12 July 2007, Wroclaw, Poland, Proceedings},
                 booktitle = {LICS},
                   publisher = {IEEE Computer Society},
                     year      = {2007},
                       bibsource = {DBLP, http://dblp.uni-trier.de}
                       }