%%\begin{titlepage}
\vspace*{2.0in}
\begin{center}
{\Huge\bf {\REDUCE}} \\ [0.2cm]
{\LARGE\bf User's Manual\vspace{0.4cm} \\
Version 3.8}
\vspace{0.5in}\large\bf
Anthony C.\ Hearn \\
Santa Monica, CA, USA
\vspace{0.1in}
\bf Email: reduce@rand.org
\vspace{0.5in}
\large\bf July 2003
\end{center}
%%\end{titlepage}
\newpage
\vspace*{3.0in}
\noindent Copyright \copyright 2003 Anthony C. Hearn. All rights reserved. \\
\mbox{}\\
%
\noindent Registered system holders may reproduce all or any part of this
publication for internal purposes, provided that the source of the
material is clearly acknowledged, and the copyright notice is retained.
\pagestyle{headings}