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

D. Calvanese, G. De-giacomo, M. Lenzerini, and M. Y. Vardi, Containment of conjunctive regular path queries with inverse, Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp.176-185, 2000.

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

A. Chandra and P. Merlin, Optimal implementation of conjunctive queries in relational databases, Proc. STOC, pp.77-90, 1977.

D. Florescu, A. Levy, and D. Suciu, Query containment for conjunctive queries with regular expressions, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '98, pp.139-148, 1998.
DOI : 10.1145/275487.275503

P. Genevès, N. Laya¨?dalaya¨?da, and A. Schmitt, Efficient static analysis of XML paths and types, Proc. PLDI, pp.342-351, 2007.

J. Groppe, S. Groppe, and J. Kolbaum, Optimization of SPARQL by using coreSPARQL, Proc. ICEIS (1), pp.107-112, 2009.

C. Gutiérrez, C. Hurtado, and A. Mendelzon, Foundations of semantic web databases, Proc. PODS, pp.95-106, 2004.

P. Hayes, RDF semantics, W3C Rec, 2004.

Y. Ioannidis, Query optimization, ACM Computing Surveys, vol.28, issue.1, pp.121-123, 1996.
DOI : 10.1145/234313.234367

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

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

U. Sattler and M. Y. Vardi, The hybrid µ-calculus, IJCAR, pp.76-91, 2001.

M. Schmidt, M. Meier, and G. Lausen, Foundations of SPARQL query optimization, Proceedings of the 13th International Conference on Database Theory, ICDT '10, pp.4-33, 2010.
DOI : 10.1145/1804669.1804675

G. Serfiotis, I. Koffina, V. Christophides, and V. Tannen, Containment and Minimization of RDF/S Query Patterns, Proc. ISWC, pp.607-623, 2005.
DOI : 10.1007/11574620_44

M. Stocker, A. Seaborne, A. Bernstein, C. Kiefer, and D. Reynolds, SPARQL basic graph pattern optimization using selectivity estimation, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.595-604, 2008.
DOI : 10.1145/1367497.1367578

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 mu-calculus, Proc. TABLEAUX, pp.277-291, 2005.