. Chekol, SPARQL Query Containment under RDFS Entailment Regime, IJ- CAR'12Chekol et al., 2013] Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, and Nabil Laya¨?daLaya¨?da. Evaluating and benchmarking SPARQL query containment solvers ISWC'13: Proceedings of the 12th International Semantic Web Conference, pp.134-148, 2012.
DOI : 10.1007/978-3-642-31365-3_13

URL : https://hal.archives-ouvertes.fr/hal-00691610

. Letelier, Static analysis and optimization of semantic web queries, PODS'12, pp.89-100, 2012.

S. Pichler, R. Pichler, and S. Skritek, Containment and equivalence of well-designed SPARQL, Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '14, pp.39-50, 2014.
DOI : 10.1145/2594538.2594542

. Tanabe, A decision procedure for alternationfree modal µ-calculi, Advances in Modal Logic, pp.341-362, 2008.