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}