\documentclass{rtaloop}
\rtalabel{right-ground}

\begin{document}
\begin{solvedproblem}{Michio Oyamaguchi}{}{June 1993} 

\begin{abstract}
Is confluence of right-ground term-rewriting systems decidable?
\end{abstract}

Is confluence of right-ground term-rewriting systems decidable?
Compare \cite{O87:tcs,DHLT90:ic,DT90:lics,OO93:ieice}.

\begin{remark}
  Related is \cite{O90:ieice}.

  This has been solved positively by \cite{godoy04aaecc}.
\end{remark}

\end{solvedproblem}
\end{document}
