--- a/Journal/document/root.bib	Thu Sep 12 17:20:48 2013 +0100
+++ b/Journal/document/root.bib	Sat Sep 14 14:08:19 2013 +0100
@@ -426,10 +426,22 @@
   year = 	"2002",
 }
 
-@InProceedings{Sulzmann12,
-  title =	"M.~Sulzmann and K.~Z.~M.~Lu",
-  author =	"XXX", 
-  booktitle =	"Proc. of XXX",
-  year = 	"2012",
-  pages =	"XXX"
+@inproceedings{Sulzmann12,
+  author    = {M.~Sulzmann and K.~Z.~M.~Lu},
+  title     = {{R}egular {E}xpression {S}ub-{M}atching using {P}artial {D}erivatives},
+  booktitle = {Proc.~of the 14th Symposium on Principles and Practice of Declarative Programming (PPDP)},
+  year      = {2012},
+  pages     = {79--90},
+  publisher = {ACM}
 }
+
+
+
+@Unpublished{Smolka13,
+  author =       {C.~Doczkal and J.~O.~Kaiser and G.~Smolka},
+  title =        {{A} {C}onstructive {T}heory of {R}egular {L}anguages in {C}oq},
+  note =         {Accepted for publication in {\it Proc.~of the 3rd International Conference on 
+                  Certified Programs and Proofs}},
+  year =         {2013}
+}
+