\documentstyle[11pt,RTA96]{article}
%-----------------------------------------------------------------------%
%                        Report form for RTA96                          %
%-----------------------------------------------------------------------%
\begin{document}
\begin{RefReport} % -----------------------------------------------------
\PaperNumber{60}
\Title{ Discrete Normalization and Standardization in
                        Deterministic Residual Structures}
\Authors{Z. Khasidashvili and J. Glauert         }
%-----------------------------------------------------------------------%
% Common part for authors and the PC.                                   %
% Replace the question marks below by ratings from 0 to 10,             %
% with 10 being the best.                                               %
%-----------------------------------------------------------------------%
\Accuracy{?}            % technical accuracy                            %
\Significance{6}        % significance of the work                      %
\Originality{7}         % originality of the work                       %
\Presentation{6}        % quality of presentation                       %
\Appropriateness{6}     % appropriateness for RTA                       %
\Overall{6}             % overall evaluation of the paper by the referee%
                        %   10 - 8  : strong accept                     %
                        %    7 - 6  : weak accept                       %
                        %    5 - 4  : weak reject                       %
                        %    3 - 1  : strong reject                     %
                        %        0  : outside the scope of RTA          %
\Confidence{5}          % referee's confidence in the paper's subject   %
\OverallPC{ }           % overall evaluation of the paper               %
                        % by the PC Member, if different; leave empty   %
                        % otherwise                                     %
%-----------------------------------------------------------------------%
\begin{Justification}   % Why do you rate the paper as above?           %
                        % An explanation is mandatory.                  %
                        %-----------------------------------------------%
Deterministic residual structures (DRS) are abstract reduction systems
equipped with a residual relation. These structures are useful to study
the notion of rewriting in a very abstract setting. Here a version of
the standardization theorem and of the discrete normalization theorem
are proved for DRS that are stable and semi-linear.
\vspace{0.2cm}

On the one hand, due to the many forms of `reduction systems' known
in the literature it is very useful to study properties of rewriting
in an abstract setting. On the other hand, the definitions and results
are so very technical that I found it impossible to really follow all
the given arguments within a reasonable amount of time.

\end{Justification}
%-----------------------------------------------------------------------%
\begin{Recommendation}  % Recommendation to the author(s) for           %
                        % possible improvements                         %
                        %-----------------------------------------------%
{\bf Some detailed remarks:}
\vspace{+0.2cm}

\noindent
{\bf p.3, line 27:} ... $u\in t$ denotes that $u$ is a ...
\vspace{+0.1cm}

\noindent
{\bf p.6, line -13:} Shouldn't the first rule of $R$ be
$f(x)\rightarrow h(x,x)$?

\end{Recommendation}
%-----------------------------------------------------------------------%
\end{RefReport} %--------------------------------------------------------

\end{document}
