diff -r 363d93e73ba0 -r ff8f9b596281 publications.html
--- a/publications.html	Sun Sep 08 08:46:40 2013 +0100
+++ b/publications.html	Thu Sep 12 17:21:37 2013 +0100
@@ -84,11 +84,6 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>Pending</H3>
 
-<p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
-      (with Wu and Zhang) Journal version. The first round of reviews has been positive. 
-      We are asked to make some modifications. 
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
-
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
       (with Zhang and Wu) Journal version. Submitted.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
@@ -108,6 +103,10 @@
 <TR>
 <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
+      [<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> 
       (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive
       Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in 
@@ -118,9 +117,10 @@
       (The phrase in the abstract is meant to say &quot;we tie the knot ... &quot;. This typo
       is corrected in the version above.)
   
-  <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> 
+<p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> 
       (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs
-      and Proofs (CPP 2013). In Lecture Notes in Computer Science. 
+      and Proofs (CPP 2013). In Lecture Notes in Computer Science.
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>]
 </TD>
 </TR>
 
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  3 14:30:04 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Sep 12 10:48:54 CEST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>