--- a/publications.html	Fri Jun 29 12:05:31 2012 +0100
+++ b/publications.html	Sun Jul 08 06:04:14 2012 +0100
@@ -90,7 +90,7 @@
 
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
       (with Kaliszyk) Accepted for publication in the Journal of Logical
-      Methods in Computer Science.
+      Methods in Computer Science, Volume 8 (2:14), 2012.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B>