@article{DBLP:journals/siamcomp/ArenasFL08,
  author    = {Marcelo Arenas and
               Wenfei Fan and
               Leonid Libkin},
  title     = {On the Complexity of Verifying Consistency of XML Specifications},
  journal   = {SIAM J. Comput.},
  volume    = {38},
  number    = {3},
  year      = {2008},
  pages     = {841-880},
  ee        = {http://dx.doi.org/10.1137/050646895},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

{"_id":{"_str":"534242800e946d920a0003d1"},"__v":26,"authorIDs":["545779302abc8e9f37000426","546b5642ec3c47a518000223"],"author_short":["Arenas, M.","Fan, W.","Libkin, L."],"bibbaseid":"arenas-fan-libkin-onthecomplexityofverifyingconsistencyofxmlspecifications-2008","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marcelo"],"propositions":[],"lastnames":["Arenas"],"suffixes":[]},{"firstnames":["Wenfei"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Leonid"],"propositions":[],"lastnames":["Libkin"],"suffixes":[]}],"title":"On the Complexity of Verifying Consistency of XML Specifications","journal":"SIAM J. Comput.","volume":"38","number":"3","year":"2008","pages":"841-880","ee":"http://dx.doi.org/10.1137/050646895","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@article{DBLP:journals/siamcomp/ArenasFL08,\n author = {Marcelo Arenas and\n Wenfei Fan and\n Leonid Libkin},\n title = {On the Complexity of Verifying Consistency of XML Specifications},\n journal = {SIAM J. Comput.},\n volume = {38},\n number = {3},\n year = {2008},\n pages = {841-880},\n ee = {http://dx.doi.org/10.1137/050646895},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}\n\n","author_short":["Arenas, M.","Fan, W.","Libkin, L."],"key":"DBLP:journals/siamcomp/ArenasFL08","id":"DBLP:journals/siamcomp/ArenasFL08","bibbaseid":"arenas-fan-libkin-onthecomplexityofverifyingconsistencyofxmlspecifications-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1137/050646895"},"downloads":0},"bibtype":"article","biburl":"http://dl.dropbox.com/u/1791703/Prints/dccuc.bib","downloads":0,"keywords":[],"search_terms":["complexity","verifying","consistency","xml","specifications","arenas","fan","libkin"],"title":"On the Complexity of Verifying Consistency of XML Specifications","year":2008,"dataSources":["D48dwZqPJYE3CuoxQ"]}