M. E. Altamimi and A. S. Youssef, A Math Query Language with an Expanded Set of Wildcards, Mathematics in Computer Science, vol.2, issue.2, pp.305-331, 2008.
DOI : 10.1007/s11786-008-0056-4

S. Ferré and A. Hermann, Reconciling faceted search and query languages for the Semantic Web, International Journal of Metadata, Semantics and Ontologies, vol.7, issue.1, pp.37-54, 2012.
DOI : 10.1504/IJMSO.2012.048508

F. Guidi and I. Schena, A Query Language for a Metadata Framework about Mathematical Resources, Int. Conf. Mathematical Knowledge Management (MKM). pp. 105?118, 2003.
DOI : 10.1007/3-540-36469-2_9

P. Hitzler, M. Krötzsch, and S. Rudolph, Foundations of Semantic Web Technologies, CRC, 2009.

M. Kohlhase, C. Müller, and F. Rabe, Notations for Living Mathematical Documents, Intelligent Computer Mathematics (CICM LNAI, vol.5144, pp.504-519, 2008.
DOI : 10.1007/978-3-540-85110-3_41

M. Kohlhase and I. Sucan, A Search Engine for Mathematical Formulae, Int. Conf. Artificial Intelligence and Symbolic Computation, pp.241-253, 2006.
DOI : 10.1007/11856290_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.1499

C. Lange, Ontologies and languages for representing mathematical knowledge on the semantic web, Semantic Web, vol.4, issue.2, pp.119-158, 2013.

A. Mallea, M. Arenas, A. Hogan, A. Polleres, L. Aroyo et al., On Blank Nodes, Int. Semantic Web Conf, pp.421-437, 2011.
DOI : 10.1016/j.websem.2005.06.001

G. Marchionini, Exploratory search, Communications of the ACM, vol.49, issue.4, pp.41-46, 2006.
DOI : 10.1145/1121949.1121979

M. Marchiori, The Mathematical Semantic Web, Mathematical Knowledge Management, pp.216-224, 2003.
DOI : 10.1007/3-540-36469-2_17

M. Miner, R. Munavalli, and R. , An Approach to Mathematical Search Through Query Formulation and Data Normalization, w3.org/TR/MathML3/, W3C Recommendation 12 Calculemus/Mathematical Knowledge Management (MKM), pp.342-355, 2007.
DOI : 10.1007/978-3-540-73086-6_27

F. Rabe, A Query Language for Formal Mathematical Libraries, Int. Conf. Intelligent Computer Mathematics, pp.143-158, 2012.
DOI : 10.1007/978-3-642-31374-5_10
URL : http://arxiv.org/abs/1204.4685

A. Youssef, Roles of Math Search in Mathematics, Int. Conf. Mathematical Knowledge Management (MKM). pp. 2?16, 2006.
DOI : 10.1007/11812289_2