--- a/publications.html	Sat Jul 08 21:24:18 2023 +0100
+++ b/publications.html	Sun Jul 09 08:48:22 2023 +0100
@@ -75,7 +75,7 @@
   (with Tan) Accepted at ITP'23.
   [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/bitcoded-itp.pdf">pdf</A>]
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-  Accepted in Journal of Automated Reasoning.
+  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>