--- a/Journal/document/root.bib	Fri Apr 20 14:15:36 2012 +0000
+++ b/Journal/document/root.bib	Mon Apr 23 08:01:37 2012 +0000
@@ -123,8 +123,8 @@
 @Unpublished{KraussNipkow11,
   author = 	 {A.~Krauss and T.~Nipkow},
   title = 	 {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},
-  note = 	 {To appear in Journal of Automated Reasoning},
-  year = 	 {2011}
+  note = 	 {To appear in the Journal of Automated Reasoning},
+  year = 	 {2012}
 }
 
 @Book{Kozen97,