Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42