Extensible markup language (XML) 1, W3C recommendation, 2004. ,
Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
XML path language (XPath) version 1.0, W3C recommendation, 1999. ,
James Clark and Makoto Murata. RELAX NG specification, OA- SIS committee specification, 2001. ,
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981. ,
XML Schema part 0: Primer second edition, W3C recommendation, 2004. ,
Efficient static analysis of XML paths and types, PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.342-351, 2007. ,
Efficient static analysis of XML paths and types, Research Report, vol.6590, issue.1 2, 2008. ,
Logics for XML, p.20, 2006. ,
Parametric polymorphism and semantic subtyping: the logical connection, Pierre Genevès, and Nabil Layaïda ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, p.18, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00585686
Nils Klarlund, Anders Møller, and Michael I, p.20, 2001. ,
Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical Systems Theory, vol.12, issue.1, pp.57-81, 1968. ,
DOI : 10.1007/BF01691346