\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}