--- a/publications.html	Tue Mar 04 16:38:49 2014 +0000
+++ b/publications.html	Sun Mar 16 02:23:55 2014 +0000
@@ -104,7 +104,8 @@
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2013</H3>
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
-      (with Wu and Zhang) Accepted in the Journal of Automated Reasoning, 2013
+      (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>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> 
@@ -497,7 +498,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Dec 14 19:50:32 EST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Mar 16 02:22:24 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>