\documentclass{rtaloop}
\rtalabel{arithmetic}

\begin{document}
\begin{problem}{D. Cohen, Phil Watson}{\cite{CohenW-RTA-91}}{June 1993} 

\begin{abstract}
Is the system of Cohen and Watson for arithmetic terminating?
\end{abstract}

An interesting system for doing arithmetic by rewriting was presented in
\cite{CohenW-RTA-91}.  Unfortunately, its termination has not been proved.

\begin{remark}
Termination of a related system is proved in \cite{WZ95}.
\end{remark}

\end{problem}
\end{document}
