--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/G4ip.bbl	Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,9 @@
+\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}