--- a/Journal/document/root.bib	Wed Dec 12 11:45:04 2012 +0000
+++ b/Journal/document/root.bib	Fri Mar 01 17:13:32 2013 +0000
@@ -1,3 +1,25 @@
+
+
+@Unpublished{GasarchBlog,
+  author =       {L.~Fortnow and W.~I.~Gasarch},
+  title =        {{P}roving {DFA}-{L}angs {C}losed {U}nder {C}oncat and * {W}ithout {U}sing {E}quiv to 
+                  {NDFA's}},
+  note =         {Retrieved \today, from \url{http://blog.computationalcomplexity.org}},
+  year =         {2013}
+}
+
+@article{Gelade12,
+  author    = {W.~Gelade and F.~Neven},
+  title     = {{S}uccinctness of the {C}omplement and {I}ntersection of {R}egular
+               {E}xpressions},
+  journal   = {ACM Transactions on Computational Logic},
+  volume    = {13},
+  number    = {1},
+  year      = {2012},
+  pages     = {4:1--4:21},
+}
+
+
 @InProceedings{CoquandSiles12,
   author =       {T.~Coquand and V.~Siles},
   title =        {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory},