M. Benedikt, W. Fan, and F. Geerts, XPath satisfiability in the presence of DTDs, J. ACM, vol.55, issue.2, 2008.
DOI : 10.1145/1065167.1065172
URL : https://uhdspace.uhasselt.be/dspace/bitstream/1942/956/1/xpath.pdf

C. Miko-laj-boja´nczykboja´nczyk and . David, Anca Muscholl, Thomas Schwentick, and Luc Segoufin. Two-variable logic on data trees and XML reasoning, PODS, pp.10-19, 2006.

C. Balder-ten, The expressivity of XPath with transitive closure, PODS, pp.328-337, 2006.

C. Balder-ten and L. Segoufin, XPath, transitive closure logic, and nested tree walking automata, PODS, pp.251-260, 2008.

J. Clark and S. Derose, XML path language (XPath) Website, W3C Recommendation, 1999.

S. Demri and R. Lazi´clazi´c, LTL with the freeze quantifier and register automata, LICS, pp.17-26, 2006.
DOI : 10.1109/lics.2006.31
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DL-lics2006.pdf

S. Demri, R. Lazi´clazi´c, and D. Nowak, On the freeze quantifier in constraint LTL: Decidability and complexity, TIME, pp.113-121, 2005.
DOI : 10.1016/j.ic.2006.08.003
URL : https://doi.org/10.1016/j.ic.2006.08.003

D. Figueira, Satisfiability of downward XPath with data equality tests, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '09, pp.197-206, 2009.
DOI : 10.1145/1559795.1559827
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/fig-pods09.pdf

D. Figueira and L. Segoufin, Future-Looking Logics on Data Words and Trees, MFCS, pp.331-343, 2009.
DOI : 10.1016/S0020-0190(01)00337-4
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/FS-mfcs09.pdf

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theoretical Computer Science, pp.63-92, 2001.
DOI : 10.1016/s0304-3975(00)00102-x
URL : https://doi.org/10.1016/s0304-3975(00)00102-x

F. Geerts and W. Fan, Satisfiability of XPath Queries with Sibling Axes, DBPL, pp.122-137, 2005.
DOI : 10.1007/11601524_8
URL : http://homepages.inf.ed.ac.uk/fgeerts/pdf/trondheim05.pdf

G. Gottlob, C. Koch, and R. Pichler, Efficient algorithms for processing XPath queries
DOI : 10.1145/1071610.1071614
URL : http://www.cs.cornell.edu/~koch/download/vldb2002-post.pdf

M. Jurdzi´nskijurdzi´nski and R. Lazi´clazi´c, Alternating automata on data trees and XPath satisfiability, 2008.

M. Marx, XPath with Conditional Axis Relations, EDBT, pp.477-494
DOI : 10.1007/978-3-540-24741-8_28
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-540-24741-8_28.pdf