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