\begin{thebibliography}{}

\bibitem[Dyckhoff, 1992]{Dyckhoff92}
Dyckhoff, R.
\newblock {C}ontraction-{F}ree {S}equent {C}alculi for {I}ntuitionistic
  {L}ogic.
\newblock {\em Journal of Symbolic Logic}, 57(3):795--807.

\end{thebibliography}