1
\begin{thebibliography}{}
2
3
\bibitem[Dyckhoff, 1992]{Dyckhoff92}
4
Dyckhoff, R.
5
\newblock {C}ontraction-{F}ree {S}equent {C}alculi for {I}ntuitionistic
6
{L}ogic.
7
\newblock {\em Journal of Symbolic Logic}, 57(3):795--807.
8
9
\end{thebibliography}