Suad Alagic, Mark Royer, David Briggs. Verification Theories for XML Schema. In David A. Bell, Jun Hong, editors, Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings. Volume 4042 of Lecture Notes in Computer Science, pages 262-265, Springer, 2006. [doi]
Abstract is missing.