The newest features of MathQL-1, which are not included in this documentation,
are reported in the <a href="whatsnew.html">What's new</a> section.<br>
<br>
+F. Guidi, C. Sacerdoti Coen:
+\emph{Querying Distributed Digital Libraries of Mathematics}.
+Negli Atti di 11th Symposium on the Integration of Symbolic Computation and
+Mechanized Reasoning (Calculemus 2003). Aracne (settembre 2003), pp. 17-30.
<br>
<b>Papers concerning the latest version of MathQL-1:</b><br>