Logics for XML: Reasoning with Trees, 2009. ,
A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006. ,
DOI : 10.1145/1185877.1185882
Deciding XPath containment with MSO, Data & Knowledge Engineering, vol.63, issue.1, pp.108-136, 2007. ,
DOI : 10.1016/j.datak.2006.11.003
Identifying query incompatibilities with evolving XML schemas, ICFP'09 ,
Efficient static analysis of XML paths and types, PLDI'07 ,
Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005. ,
DOI : 10.1145/1111627.1111631