@inproceedings{Maneth05XMLtype,
  author = {Sebastian Maneth and Alexandru Berlea and Thomas Perst and Helmut Seidl},
  title = {{XML} type checking with macro tree transducers},
  booktitle = {Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART},
  editor = {Chen Li},
  month = {June},
  year = 2005,
  pages = {283-294},
  publisher = {ACM},
  address = {Baltimore, Maryland},
}