\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}