--- a/Paper/document/root.bib	Mon Jan 03 16:21:12 2011 +0000
+++ b/Paper/document/root.bib	Tue Jan 04 13:47:38 2011 +0000
@@ -1,3 +1,10 @@
+
+@Unpublished{KaliszykUrban11,
+  author = 	 {C.~Kaliszyk and C.~Urban},
+  title = 	 {{Q}uotients {R}evisited for {I}sabelle/{HOL}},
+  note = 	 {To appear in the Proc.~of the 26th ACM Symposium On Applied Computing},
+  year = 	 {2011}
+}
 
 @InProceedings{cheney05a,
   author = 	 {J.~Cheney},
@@ -188,10 +195,13 @@
   year =	 1999
 }
 
-@Unpublished{SatoPollack10,
+@article{SatoPollack10,
   author = 	 {M.~Sato and R.~Pollack},
   title = 	 {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus},
-  note = 	 {To appear in {\it J.~of Symbolic Computation}}
+  journal = 	 {J.~of Symbolic Computation},
+  volume =       45,
+  pages =        {598--616},
+  year =	 2010
 }
 
 @article{GabbayPitts02,