Serge Abiteboul, Luc Segoufin, Victor Vianu. Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull., 32(3):10-15, 2009. [doi]
@article{AbiteboulSV09-0,
title = {Modeling and Verifying Active XML Artifacts},
author = {Serge Abiteboul and Luc Segoufin and Victor Vianu},
year = {2009},
url = {http://sites.computer.org/debull/A09sept/serge.pdf},
tags = {XML, XML Schema, modeling},
researchr = {https://researchr.org/publication/AbiteboulSV09-0},
cites = {0},
citedby = {0},
journal = {IEEE Data Eng. Bull.},
volume = {32},
number = {3},
pages = {10-15},
}