Using regular tree automata as XML schemas | IEEE Conference Publication | IEEE Xplore