# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1409672343 -3600
# Node ID cdacc1d732a0af24091df4505510a4dc39085302
# Parent  969c1a87d9facebf93ea6d6ba911b73a49cd005e
updated

diff -r 969c1a87d9fa -r cdacc1d732a0 publications.html
--- a/publications.html	Tue Sep 02 16:38:02 2014 +0100
+++ b/publications.html	Tue Sep 02 16:39:03 2014 +0100
@@ -109,7 +109,7 @@
       [<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.
+      Trends in Logic Series, 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>
@@ -503,7 +503,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  2 16:37:58 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  2 16:38:54 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>