--- a/publications.html	Thu Aug 21 07:56:15 2014 +0100
+++ b/publications.html	Tue Sep 02 16:17:18 2014 +0100
@@ -28,7 +28,7 @@
        BGCOLOR="#4169E1" 
        BORDER="0"   
        FRAME="border"  
-       CELLPADDING="10"     
+       CELLPADDING="11"     
        CELLSPACING="2"
        RULES="all">
 
@@ -107,7 +107,16 @@
       (with Wu and Zhang) In
       Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
+<p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and 
+      Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work,
+      Trends in Logic Volume 39, 2014, Pages 31-50.
+      <A HREF="http://link.springer.com/book/10.1007/978-94-007-7548-0">Springer Verlag</A>
+</TD>
+</TR>
 
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2013</H3>
 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> 
       (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive
       Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in 
@@ -421,10 +430,6 @@
       (with Dyckhoff) Journal of Logic and Computation, Volume 13, No 5, Pages 689-706.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/jlc-03.pdf">pdf</A>]
 
-<!--
-<p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and 
-      Normalisation.</B>  Accepted for publication in the proceedings of the natural deduction meeting in 
-      Rio de Janeiro (will appear in the Advances in Natural Deduction volume published by Kluwer).-->
 </TD>
 </TR>
 
@@ -498,7 +503,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Mar 16 02:22:24 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  2 16:16:50 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>