--- a/Paper/document/root.bib	Fri Jul 16 03:22:24 2010 +0100
+++ b/Paper/document/root.bib	Fri Jul 16 04:58:46 2010 +0100
@@ -40,9 +40,7 @@
 @Unpublished{chargueraud09,
   author       = "A.~Chargu{\'e}raud",
   title        = "{T}he {L}ocally {N}ameless {R}epresentation",
-  year         = "2009",
-  note         = "To appear in J.~of Automated Reasoning. 
-                  http://arthur.chargueraud.org/research/2009/ln",
+  Note         = "To appear in J.~of Automated Reasoning."                  
 }
 
 @article{NaraschewskiNipkow99,
@@ -134,11 +132,13 @@
   series = {ENTCS}
 }
 
-@Unpublished{HuffmanUrban10,
+@inproceedings{HuffmanUrban10,
   author = 	 {B.~Huffman and C.~Urban},
   title = 	 {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle},
-  note = 	 {To appear at {\it ITP'10 Conference}, 
-                  http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf},
+  booktitle = {Proc.~of the 1st ITP Conference}, 
+  pages = {35--50},
+  volume = {6172},
+  series = {LNCS},
   year = 	 {2010}
 }