\documentclass[a4paper]{easychair}
% \usepackage[latin1]{inputenc}
% \usepackage{showlabels}
\usepackage{xspace}
\newcommand\TTTT{%
 \textsf{T\kern-0.2em\raisebox{-0.3em}T\kern-0.2emT\kern-0.2em%
 \raisebox{-0.3em}2}\xspace%
}
\newcommand*{\TCT}{\textsf{T\!\raisebox{-1mm}{C}\!T}}
\newcommand\CAT{\textsf{C\kern-0.25em\raisebox{0.14em}a\kern-0.2emT}}


\newcommand{\todo}[1]{\fbox{\fbox{\begin{minipage}{0.9\textwidth}%
#1\end{minipage}}}}

\begin{document}

\title{
  Report on the Termination Competition 2008
}
\titlerunning{Termination Competition 2008}

\author{
Johannes Waldmann (editor) \\
Fakultät Informatik, Mathematik und Naturwissenschaften, \\
Hochschule für Technik, Wirtschaft und Kultur, Leipzig, Germany \\
  \url{http://www.imn.htwk-leipzig.de/~waldmann/}
}
\authorrunning{Waldmann}

\maketitle


\input{abs}

% \todo{TOC will be removed. It's just here to show the structure at a glance.}
% \tableofcontents

\input{intro}

\input{plat}

\input{catpart}


\input{participants}

% \section{Results (by Category)}\label{sec:categories}

In the following sections we report on the results of the competition,
by category.

\input{trs}
\input{srs}
\input{lp}
\input{fp}

\input{complex}

\input{cert}






\input{discussion}


\bibliographystyle{plain}
\bibliography{main}

\end{document}
