\begin{thebibliography}{1}

\bibitem{Futatsugi:2012:PPS:2397725.2397950}
Kokichi Futatsugi, Daniel Gin, and Kazuhiro Ogata.
\newblock Principles of proof scores in cafeobj.
\newblock {\em Theor. Comput. Sci.}, 464:90--112, December 2012.

\end{thebibliography}
