F. Alkhateeb, J. Baget, and J. Euzenat, Extending SPARQL with regular expression patterns (for querying RDF), Web Semantics: Science, Services and Agents on the World Wide Web, vol.7, issue.2, pp.57-73, 2009.
DOI : 10.1016/j.websem.2009.02.002

URL : https://hal.archives-ouvertes.fr/lirmm-00410132

P. Barceló, C. Hurtado, L. Libkin, and P. Wood, Expressive languages for path queries over graph-structured data, pp.3-14, 2010.

D. Calvanese, G. D. Giacomo, and M. Lenzerini, Conjunctive query containment and answering under description logic constraints, ACM Transactions on Computational Logic, vol.9, issue.3, pp.22-23, 2008.
DOI : 10.1145/1352582.1352590

D. Calvanese, M. Ortiz, and M. Simkus, Containment of regular path queries under description logic constraints, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence, 2011.

D. Calvanese and R. Rosati, Answering Recursive Queries under Keys and Foreign Keys is Undecidable, Proc. of the 10th Int. Workshop on Knowledge Representation meets Databases, pp.3-14, 2003.

P. Genevès, N. Laya¨?dalaya¨?da, and A. Schmitt, Efficient Static Analysis of XML Paths and Types, PLDI '07, pp.342-351, 2007.

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

J. Pérez, M. Arenas, and C. Gutierrez, Semantics and complexity of SPARQL, ACM Transactions on Database Systems (TODS), vol.34, issue.3, p.16, 2009.

E. Prud-'hommeaux and A. Seaborne, SPARQL Query Language for RDF, W3C Rec, 2008.

Y. Tanabe, K. Takahashi, and M. Hagiya, A Decision Procedure for Alternation-Free Modal µ-calculi, Advances in Modal Logic, pp.341-362, 2008.

Y. Tanabe, K. Takahashi, M. Yamamoto, A. Tozawa, and M. Hagiya, A Decision Procedure for the Alternation-Free Two-Way Modal ??-Calculus, TABLEAUX, pp.277-291, 2005.
DOI : 10.1007/11554554_21