diff -r 288637d9dcde -r 0da31edd95b9 Journal/document/root.bib
--- a/Journal/document/root.bib	Sat Sep 14 14:08:19 2013 +0100
+++ b/Journal/document/root.bib	Tue Sep 17 11:21:58 2013 +0100
@@ -445,3 +445,10 @@
   year =         {2013}
 }
 
+@Unpublished{Sternagel13,
+  author =       {C.~Sternagel},
+  title =        {{C}ertified {K}ruskal’s {T}ree {T}heorem},
+  note =         {Accepted for publication in {\it Proc.~of the 3rd International Conference on 
+                  Certified Programs and Proofs}},
+  year =         {2013}
+}
\ No newline at end of file