\begin{frame}
  % \footnotesize
  % 
  % \begin{thebibliography}{10}
  % \beamertemplatearticlebibitems
  % \bibitem{}
  % Canonical Equational Proofs
  % \\[.5ex]
  % \BLACK{Leo Bachmair}
  % \\[.5ex]
  % \BLACK{Progress in Theoretical Computer Science, Birkh\"auser, 1991}
  % \bibitem{}
  % \href{http://doi.acm.org/10.1145/174652.174655}%
  % {Equational Inference, Canonical Proofs, and Proof Orderings}
  % \\[.5ex]
  % \BLACK{Leo Bachmair and Nachum Dershowitz}
  % \\[.5ex]
  % \BLACK{J.ACM 41(2), pp.\ 236--276, 1994}
  % \end{thebibliography}
  % 
  % \bigskip
  % \bigskip
  
  \begin{block}{Completion Tools}
  \smallskip
  \begin{itemize}
  \item
  \href{http://www.mpi-inf.mpg.de/~hillen/waldmeister/}{Waldmeister}
  \smallskip
  \item
  \href{http://userweb.cs.utexas.edu/~iwehrman/slothrop.html}{Slothrop}
  \smallskip
  \item
  \href{http://cl-informatik.uibk.ac.at/software/mkbtt/}{mkbTT}
  \smallskip
  \item
  \href{http://cl-informatik.uibk.ac.at/software/kbcv/}{KBCV}
  \smallskip
  \end{itemize}
  \end{block}
\end{frame}