\documentclass{llncs}
\usepackage{mathql_macros}
+\newcommand\xcomment[1]{}
\title{MathQL-1 Version 4\\Reference Documentation}
\author{Ferruccio Guidi%
\begin{abstract}
\end{abstract}
-\tableofcontents
+\addtocounter{tocdepth}{2}
+
+\section*{\contentsname}{
+\catcode`@=11
+\def\l@title#1#2{}
+\def\l@author#1#2{}
+\@starttoc{toc}
+\catcode`@=12}
\input{mathql_overview}
\input{mathql_introduction}