\documentclass{rtaloop}
\rtalabel{exponential-interpretations}

\begin{document}
\begin{problem}{Pierre Lescanne}{}{April 1991}

\begin{abstract}
Develop effective methods to decide whether a system decreases with respect to
some \emph{exponential interpretation}.
\end{abstract}

Polynomial and exponential interpretations have been used to prove
termination. For the former there are some reasonable methods
\cite{BL87:scp,L79:ltu} that can help determine if a particular interpretation
decreases with each application of a rule. Are there other implementable
methods suitable for exponential interpretations?

\begin{remark}
Some work on this problem has been reported in \cite{LescanneALP92}.
\end{remark}

\end{problem}
\end{document}