Yu Zhang, Yihua Cao, Xunhao Li. A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. In Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu, editors, Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings. Volume 4976 of Lecture Notes in Computer Science, pages 202-213, Springer, 2008. [doi]
@inproceedings{ZhangCL08,
title = {A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice},
author = {Yu Zhang and Yihua Cao and Xunhao Li},
year = {2008},
doi = {10.1007/978-3-540-78849-2_22},
url = {http://dx.doi.org/10.1007/978-3-540-78849-2_22},
tags = {XPath},
researchr = {https://researchr.org/publication/ZhangCL08},
cites = {0},
citedby = {0},
pages = {202-213},
booktitle = {Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings},
editor = {Yanchun Zhang and Ge Yu and Elisa Bertino and Guandong Xu},
volume = {4976},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78848-5},
}