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]
@inproceedings{AlagicRB06,
title = {Verification Theories for XML Schema},
author = {Suad Alagic and Mark Royer and David Briggs},
year = {2006},
doi = {10.1007/11788911_26},
url = {http://dx.doi.org/10.1007/11788911_26},
tags = {XML, XML Schema},
researchr = {https://researchr.org/publication/AlagicRB06},
cites = {0},
citedby = {0},
pages = {262-265},
booktitle = {Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings},
editor = {David A. Bell and Jun Hong},
volume = {4042},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35969-9},
}