A. M. Youssef-a, A math query language with an expanded set of wildcards, Mathematics in Computer Science, vol.2, issue.2, pp.305-331, 2008.

F. S. Hermann, Semantic search : Reconciling expressive querying and exploratory search, Int. Semantic Web Conf., LNCS 7031, pp.177-192, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00658302

F. S. Ridoux-o, An introduction to logical information systems, Information Processing & Management, vol.40, issue.3, pp.383-419, 2004.

G. F. Schena-i, A query language for a metadata framework about mathematical resources, Int. Conf. Mathematical Knowledge Management (MKM), LNCS 2594, pp.105-118, 2003.

K. M. Sucan-i, A search engine for mathematical formulae, Int. Conf. Artificial Intelligence and Symbolic Computation, pp.241-253, 2006.

M. R. Munavalli-r, An approach to mathematical search through query formulation and data normalization, Calculemus/Mathematical Knowledge Management (MKM), pp.342-355, 2007.

S. L. Shapiro-e, The Art of Prolog, 1986.