\begin{frame}
  \begin{block}{} \begin{center}{\Large Iterative Lexicographic Path Order (ILPO)}\end{center} \end{block}
\end{frame}