-\documentclass[10pt]{article}
+\documentclass{llncs}
\usepackage{mathql_macros}
-\addtolength{\textheight}{2.5cm}
-\addtolength{\oddsidemargin}{-1.0cm}
-\addtolength{\evensidemargin}{-1.0cm}
-\addtolength{\textwidth}{2.0cm}
-\addtolength{\topmargin}{-1.0cm}
-
\title{MathQL-1 Version 4\\Reference Documentation}
-\author{Ferruccio Guidi}
+\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}}
-\bibliographystyle{numeric}
+\date{ }
\begin{document}
\maketitle
+\begin{abstract}
+\end{abstract}
+
\tableofcontents
\input{mathql_overview}
\input{mathql_introduction}
\input{mathql_operational}
+\input{mathql_tests}
\input{mathql_bib}
\end{document}