Prover/G4ip.bbl
author Christian Urban <urbanc@in.tum.de>
Tue, 11 Jun 2019 10:38:27 +0100 (2019-06-11)
changeset 574 0b9c3103bdbc
parent 96 907b1fff5637
permissions -rw-r--r--
updated
\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}