@inproceedings{Maneth:2007:EXT:2086877.2086901,
    Address = {Berlin, Heidelberg},
    Author = {Maneth, Sebastian and Perst, Thomas and Seidl, Helmut},
    BookTitle = {Proceedings of the 11th international conference on Database Theory},
    File = {Exact XML type checking in polynomial time - Maneth, Perst, Seidl (0) (0) - a - a - t.pdf},
    ISBN = {3-540-69269-X, 978-3-540-69269-0},
    Location = {Barcelona, Spain},
    Pages = {254--268},
    Publisher = {Springer-Verlag},
    Series = {ICDT'07},
    Title = {Exact XML type checking in polynomial time},
    URL = {http://dx.doi.org/10.1007/11965893\_18},
    Year = {2006},
    acmid = {2086901},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11965893\_18},
    date-added = {2013-09-05 13:47:23 +0000},
    date-modified = {2013-09-05 13:47:23 +0000},
    numpages = {15},
    doi = {10.1007/11965893_18}
}

@inproceedings{Maneth:2007:EXT:2086877.2086901, Address = {Berlin, Heidelberg}, Author = {Maneth, Sebastian and Perst, Thomas and Seidl, Helmut}, BookTitle = {Proceedings of the 11th international conference on Database Theory}, File = {Exact XML type checking in polynomial time - Maneth, Perst, Seidl (0) (0) - a - a - t.pdf}, ISBN = {3-540-69269-X, 978-3-540-69269-0}, Location = {Barcelona, Spain}, Pages = {254--268}, Publisher = {Springer-Verlag}, Series = {ICDT'07}, Title = {Exact XML type checking in polynomial time}, URL = {http://dx.doi.org/10.1007/11965893_18}, Year = {2006}, acmid = {2086901}, bdsk-url-1 = {http://dx.doi.org/10.1007/11965893_18}, date-added = {2013-09-05 13:47:23 +0000}, date-modified = {2013-09-05 13:47:23 +0000}, numpages = {15}, doi = {10.1007/11965893_18} }