-\newcommand\URI[1]{\texttt{<#1>}}
-
-\newcommand\MathQL{\textsc{mathql-1}}
-\newcommand\RDF{\textsc{rdf}}
-\newcommand\RDFS{\textsc{rdf schema}}
-\newcommand\HELM{\textsc{helm}}
-\newcommand\POSIX{\textsc{posix}}
-\newcommand\XML{\textsc{xml}}
-\newcommand\CAML{\textsc{caml}}
-\newcommand\SQL{\textsc{sql}}
-\newcommand\MySQL{\textsc{mysql}}
-\newcommand\PostgreSQL{\textsc{postgresql}}
-\newcommand\Galax{\textsc{galax}}
-\newcommand\XQuery{\textsc{xquery}}
-
-\title{MathQL-1.4}
-\author{Ferruccio Guidi}
-
-\bibliographystyle{numeric}
+
+\title{MathQL-1 Version 4\\Reference Documentation}
+\author{Ferruccio Guidi%
+\thanks{This work has been partially supported by
+MoWGLI (European FET Project IST-2001-33562).}
+}
+
+\institute{Department of Computer Science\\
+Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
+\email{fguidi@cs.unibo.it}}
+
+\date{ }