50/251
\begin{frame}
  \begin{block}{} \begin{center}{\Large Abstract Rewrite Systems}\end{center} \end{block}
\end{frame}