--- a/LMCS-Paper/document/root.bib	Wed Aug 17 22:56:07 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Thu Aug 18 14:10:52 2011 +0200
@@ -1,3 +1,13 @@
+@InProceedings{UrbanKaliszyk11,
+  author =       {C.~Urban and C.~Kaliszyk},
+  title =        {General Bindings and Alpha-Equivalence in Nominal Isabelle},
+  booktitle =    {Proceedings of the 20th European Symposium on Programming (ESOP)},
+  pages =        {480-500},
+  year =         {2011},
+  volume =       {6602},
+  series =       {LNCS}
+}
+
 
 @inproceedings{KaliszykUrban11,
   author = 	 {C.~Kaliszyk and C.~Urban},