@inproceedings{Maneth07Exact, author = {Sebastian Maneth and Thomas Perst and Helmut Seidl}, title = {Exact {XML} {T}ype {C}hecking in {P}olynomial {T}ime}, booktitle = {ICDT}, editor = {Thomas Schwentick and Dan Suciu}, month = {January}, year = 2007, pages = {254-268}, series = {Lecture Notes in Computer Science}, volume = {4353}, publisher = {Springer}, address = {Barcelona, Spain}, }