\batchmode

\documentstyle[a4,epsf,11pt]{article}
\makeatletter
%

\title{
Distributed Constraint Solving for Functional Logic Programming\thanks{
\copyright 1998, Research Institute for Symbolic Computation (RISC-Linz)} \\ 
\strut \\ 
AITEC Research Funding Programme \\ 
Progress Report 1997
}

\author{
Prof.~Bruno Buchberger \and Dr.~Wolfgang Schreiner \\ 
\{Bruno.Buchberger,Wolfgang.Schreiner\}@risc.uni-linz.ac.at \\ 
Research Institute for Symbolic Computation (RISC-Linz) \\ 
Johannes Kepler University, Linz, Austria
}

\date{}

\pagestyle{headings}
\setlength{\parindent}{0pt}
\setlength{\parskip}{\medskipamount}


\newcommand {\textbf}[1]{{\bf #1}}

\newcommand {\texttt}[1]{{\tt #1}}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{figure}\begin{center}
%
\epsfile{file=system.eps}%
\end{center}

\label{system}
\end{figure}
}

\stepcounter{section}
\appendix
\stepcounter{section}

\end{document}
