+ <b>Papers concerning the latest stable version of MathQL-1:</b>
+
+ <ul>
+ <li> F. Guidi: <i><a
+ href="http://www.cs.unibo.it/techreports/2003/2003-06.ps.gz">Searching and
+ Retrieving in Content-based Repositories of Formal Mathematical Knowledge</a></i>.
+ Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical
+ report UBLCS 2003-06.</li>
+
+ </ul>
+
+ <ul>
+ <li> F. Guidi and I. Schena: <i><a
+ href="http://monet.nag.co.uk/mkm/bertinoro03/guidi.pdf">A Query Language
+ for a Metadata Framework about Mathematical Resources</a></i>. Presentation
+ at the 2nd International Conference on Mathematical Knowledge Management
+(MKM 2003). Bertinoro, Italy, February 2003.</li>
+
+ </ul>
+ <b>Papers concerning the earlier versions of MathQL-1:</b>
+
+ <ul>
+ <li> F. Guidi and I. Schena: <i>A Query Language for a Metadata Framework
+ about Mathematical Resources</i>. In Proc. of the 2nd International Conference
+ on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy, February
+ 2003. LNCS 2594, pages 105-118, Springer. 2003.</li>
+
+ </ul>
+
+ <ul>
+ <li> F. Guidi and I. Schena: <i><a
+ href="http://www.cs.unibo.it/%7Efguidi/download/aql_s.ps">Advancement on
+ a Query Language for Metadata</a></i>. Presentation at MOWGLI Meeting July
+ 2002. Eindhoven, the Netherlands.</li>
+
+ </ul>
+
+ <ul>
+ <li> L. Natile: <i><a
+ href="http://www.cs.unibo.it/%7Efguidi/download/tesi-natile.ps">Tecnologie
+ per l'Interrogazione di Basi Documentarie in Formato XML</a></i>. Master
+Thesis in Computer Science, University of Bologna, 2002.</li>
+
+ </ul>
+
+ <ul>
+ <li> A. Nediani: <i><a
+ href="http://www.cs.unibo.it/%7Efguidi/download/tesi-nediani.zip">Disegno
+ e Implementazione di un'Interfaccia Web di Supporto ad Interrogazioni su
+Basi di Dati Documentarie</a></i>. Master Thesis in Computer Science, University
+ of Bologna, 2003.</li>
+
+ </ul>
+
+ <ul>
+ <li> D. Lordi: <i><a
+ href="http://www.cs.unibo.it/%7Efguidi/download/tesi-lordi.pdf">Sperimentazione
+ e Sviluppo di Strumenti per la gestione di metadati</a></i>. Master Thesis
+ in Computer Science, University of Bologna, 2002.</li>
+
+ </ul>
+ </td>
+ </tr>
+
+ </tbody>