\documentclass[10pt]{article}

% \usepackage{fguidi}
\addtolength{\textheight}{2.5cm}
\addtolength{\oddsidemargin}{-1.0cm}
\addtolength{\evensidemargin}{-1.0cm}
\addtolength{\textwidth}{2.0cm}
\addtolength{\topmargin}{-1.0cm}

\newcommand\xcomment[1]{}
\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}

\begin{document}

\maketitle

\tableofcontents

\input{mathql_overview}
\input{mathql_introduction}
\input{mathql_bib}

\end{document}
