. References and . Bray, Extensible markup language (XML) 1, W3C recommendation, 2004.

E. Randal and . Bryant, Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.

C. , D. Clark, and S. Derose, XML path language (XPath) version 1.0, W3C recommendation, 1999.

M. Clark, James Clark and Makoto Murata. RELAX NG specification, OA- SIS committee specification, 2001.

E. Clarke, E. Clarke, and . Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981.

W. Fallside, C. David, P. Fallside, and . Walmsley, XML Schema part 0: Primer second edition, W3C recommendation, 2004.

. Genevès, 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.

. Genevès, Efficient static analysis of XML paths and types, Research Report, vol.6590, issue.1 2, 2008.

]. Genevès, Logics for XML, p.20, 2006.

. Gesbert, 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

. Klarlund, Nils Klarlund, Anders Møller, and Michael I, p.20, 2001.

W. Thatcher, W. James, J. B. Thatcher, and . Wright, 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