\documentclass{llncs}

\usepackage{mathql_macros}

\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{ }

\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}
