updated to version 1.4

[helm.git] / helm / mathql / homepage / documentation.html

diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html
index 45edae9d3fe11925329e5c56696334666c8b60c0..67bb704a46dffb5643db6ed4cde2df047be17eab 100644 (file)
--- a/helm/mathql/homepage/documentation.html
+++ b/helm/mathql/homepage/documentation.html
@@ -85,6 +85,10 @@
   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>