Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl. XML type checking with macro tree transducers. In Chen Li, editor, Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA. pages 283-294, ACM, 2005. [doi]
Abstract is missing.