# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1688888902 -3600
# Node ID 84085de35f5930ebb98202d37e44d8a5623e78a2
# Parent  f365ce6362940755cb2baecb97e51ffc5fc11593
updated

diff -r f365ce636294 -r 84085de35f59 publications.html
--- 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>