diff -r eab36651cd9c -r c2e6e942202a publications.html
--- a/publications.html	Sun Aug 19 07:55:44 2012 +0100
+++ b/publications.html	Tue Aug 21 13:00:03 2012 +0100
@@ -37,7 +37,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="17">
+    ROWSPAN="18">
 
 <B>Links</B><BR>
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
@@ -88,20 +88,6 @@
       (with Wu and Zhang) Journal version. Submitted.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
-<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, 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> 
-      (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
-      Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in 
-      Computer Science. Pages 217-232.
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
-
-      (In the published version is a bogus sentence after the definition 
-       of detached. This error is corrected in the version above.)
-
 <p><B>How to Prove False using the Variable Convention.</B> 
      Appears as a poster at TTVSI, 1 page. 
      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
@@ -116,6 +102,27 @@
 
 <TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2012</H3>
+<p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
+      (with Kaliszyk) Journal of Logical
+      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> 
+      (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
+      Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in 
+      Computer Science. Pages 217-232.
+      &copy <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7406.htm">Springer Verlag</A>
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
+
+      (In the published version is a bogus sentence after the definition 
+       of detached. This error is corrected in the version above.)
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2011</H3>
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
       (with Kaliszyk)