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 @@ [pdf]
Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and Normalisation. 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. Springer Verlag @@ -503,7 +503,7 @@
- Last modified: Tue Sep 2 16:37:58 BST 2014 + Last modified: Tue Sep 2 16:38:54 BST 2014 [Validate this page.]