Marcelo Arenas, Wenfei Fan, Leonid Libkin
On Verifying Consistency of XML Specifications
PODS, 2002.
@inproceedings{PODS-2002-ArenasFL,
author = "Marcelo Arenas and Wenfei Fan and Leonid Libkin",
booktitle = "{Proceedings of the 21st Symposium on Principles of Database Systems}",
doi = "10.1145/543613.543647",
ee = "http://www.acm.org/sigs/sigmod/pods/proc02/papers/259-ArenasFL.pdf",
isbn = "1-58113-507-6",
pages = "259--270",
publisher = "{ACM}",
title = "{On Verifying Consistency of XML Specifications}",
year = 2002,
}