@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},
}