\begin{thebibliography}{1}

\bibitem{komori00}
Yuichi Komori.
\newblock A natural deduction for classical logic, in which there exists a
  proof with the subformula property.
\newblock In {\em Proc. 33rd MLG meeting}, pp. 3--6, Echigo Yuzawa, 2000.

\end{thebibliography}
