Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints.

Béatrice Bouchou Mirian Halfeld Ferrari Alves Dominique Laurent Denio Duarte Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints. 184-190 2003 ICEIS (1) db/conf/iceis/iceis2003-1.html#BouchouALD03