145/145
\begin{frame}
  % \footnotesize
  % 
  % \begin{thebibliography}{10}
  % \beamertemplatearticlebibitems
  % \bibitem{}
  % \href{http://dx.doi.org/10.1016/S0304-3975(96)00173-9}%
  % {Developing Developments}
  % \\[.5ex]
  % \BLACK{Vincent van Oostrom}
  % \\[.5ex]
  % \BLACK{TCS 175(1), pp.\ 159 -- 181, 1997}
  % \bibitem{}
  % \href{http://dx.doi.org/10.1016/0304-3975(95)00080-G}%
  % {Modular Termination of r-Consistent and Left-Linear Term Rewriting
  % Systems}
  % \\[.5ex]
  % \BLACK{Manfred Schmidt-Schau\ss, Massimo Marchiori, and Sven Eric Panitz}
  % \\[.5ex]
  % \BLACK{TCS 149(2), pp.\ 361 -- 374, 1995}
  % \bibitem{}
  % \href{http://dx.doi.org/10.1007/978-3-540-71070-7_31}%
  % {Modularity of Confluence -- Constructed}
  % \\[.5ex]
  % \BLACK{Vincent van Oostrom}
  % \\[.5ex]
  % \BLACK{Proc.\ 4th IJCAR, LNAI 5195, pp.\ 348 -- 363, 2008}
  % \end{thebibliography}
  % 
  % \bigskip
  % \bigskip
  
  \begin{block}{Confluence Tool}
  \smallskip
  \begin{itemize}
  \item
  \href{http://www.nue.riec.tohoku.ac.jp/tools/acp}{ACP}
  \smallskip
  \end{itemize}
  \end{block}
\end{frame}