Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante. Tree Automata to Verify XML Key Constraints. In Vassilis Christophides, Juliana Freire, editors, International Workshop on Web and Databases, San Diego, California, June 12-13, 2003. pages 37-42, 2003. [doi]
Abstract is missing.