--- a/publications.html	Sun Jul 09 08:48:22 2023 +0100
+++ b/publications.html	Sun Jul 09 08:54:31 2023 +0100
@@ -16,7 +16,7 @@
        BGCOLOR="#4169E1" 
        BORDER="0"   
        FRAME="border"  
-       CELLPADDING="11"     
+       CELLPADDING="12"     
        CELLSPACING="2"
        RULES="all">
 
@@ -74,8 +74,15 @@
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
   (with Tan) Accepted at ITP'23.
   [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/bitcoded-itp.pdf">pdf</A>]
+
+</TD>
+</TR>
+
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2023</H3>
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-  Journal of Automated Reasoning. <A HREF="https://rdcu.be/dgoo5">Springer Verlag</A>
+  In Journal of Automated Reasoning, <A HREF="https://rdcu.be/dgoo5">Springer Verlag</A>.
   [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>]
 </TD>
 </TR>