@article{ dblp2275738,
  title = {Bounds for the quantifier depth in two-variable logic},
  author = {Christoph Berkholz and Oleg Verbitsky},
  author_short = {Berkholz, C. and Verbitsky, O.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2275738},
  id = {dblp2275738},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-2747},
  url = {http://arxiv.org/abs/1212.2747},
  journal = {CoRR},
  volume = {abs/1212.2747},
  text = {CoRR abs/1212.2747 (2012)}
}

{"_id":"HrXLw7j2LtFqNsH2w","bibbaseid":"berkholz-verbitsky-boundsforthequantifierdepthintwovariablelogic-2012","downloads":0,"creationDate":"2015-09-23T09:34:06.386Z","title":"Bounds for the quantifier depth in two-variable logic","author_short":["Berkholz, C.","Verbitsky, O."],"year":2012,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-2747","bibdata":{"title":"Bounds for the quantifier depth in two-variable logic","author":["Christoph Berkholz","Oleg Verbitsky"],"author_short":["Berkholz, C.","Verbitsky, O."],"bibtype":"article","type":"article","year":"2012","key":"dblp2275738","id":"dblp2275738","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-2747","url":"http://arxiv.org/abs/1212.2747","journal":"CoRR","volume":"abs/1212.2747","text":"CoRR abs/1212.2747 (2012)","bibtex":"@article{ dblp2275738,\n title = {Bounds for the quantifier depth in two-variable logic},\n author = {Christoph Berkholz and Oleg Verbitsky},\n author_short = {Berkholz, C. and Verbitsky, O.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2275738},\n id = {dblp2275738},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-2747},\n url = {http://arxiv.org/abs/1212.2747},\n journal = {CoRR},\n volume = {abs/1212.2747},\n text = {CoRR abs/1212.2747 (2012)}\n}","bibbaseid":"berkholz-verbitsky-boundsforthequantifierdepthintwovariablelogic-2012","role":"author","urls":{"Paper":"http://arxiv.org/abs/1212.2747"},"downloads":0},"search_terms":["bounds","quantifier","depth","two","variable","logic","berkholz","verbitsky"],"keywords":[],"authorIDs":[],"dataSources":["zWfHD6xN53JzXrDdr"]}