--- a/publications.html	Tue Sep 03 14:11:17 2013 +0100
+++ b/publications.html	Tue Sep 03 14:30:11 2013 +0100
@@ -361,7 +361,7 @@
 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th
       International Conference on Typed Lambda Calculi and Applications (TLCA 2005). 
       In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416.
-    &copy <A HREF="http://link.springer.de/link/service/series/0558/tocs/t3461.htm">Springer Verlag</A>
+    &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A>
     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>]
 </TD>
 </TR>
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  3 14:11:12 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  3 14:30:04 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>