]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/implementation.html
added information on the "qdl" article with C.S.C.
[helm.git] / helm / mathql / homepage / implementation.html
index 5b41f9d080ef643469c6920f4fb816df34a7580f..286a5dbbc9e87a88969e10c0be9c9196e2872374 100644 (file)
@@ -110,7 +110,7 @@ near  future.</li>
                <li>F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed
  Digital  Libraries of Mathematics</i>.<br>
                </li>
-                                                 
+               will appear as research report of Laboratoire D'Informatique de Paris 6
         </ul>
            </blockquote>