diff -r 13de6a49294e -r 17aa8c8fbe7d Journal/document/root.bib
--- a/Journal/document/root.bib	Mon Sep 05 14:15:32 2011 +0000
+++ b/Journal/document/root.bib	Mon Sep 05 15:42:29 2011 +0000
@@ -1,3 +1,14 @@
+
+@inproceedings{Berghofer03,
+  author    = {S.~Berghofer},
+  title     = {{A} {C}onstructive {P}roof of {H}igman's {L}emma in {I}sabelle},
+  booktitle = {In Proc. of the Workshop on Types},
+  year      = {2003},
+  pages     = {66--82},
+  series    = {LNCS},
+  volume    = {3085}
+}
+
 @article{Gasarch09,
   author    = {S.~A.~Fenner and W.~I.~Gasarch and B.~Postow},
   title     = {{T}he {C}omplexity of {F}inding {SUBSEQ(A)}},
@@ -370,4 +381,5 @@
   journal =	"COMPJ: The Computer Journal",
   volume =	"45",
   year = 	"2002",
-}
\ No newline at end of file
+}
+