--- a/publications.html	Fri Dec 23 10:35:27 2022 +0000
+++ b/publications.html	Fri Dec 23 10:36:24 2022 +0000
@@ -74,7 +74,8 @@
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
       (with Tan) 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-      Journal version. Accepted in Journal of Automated Reasoning.
+  Accepted in Journal of Automated Reasoning.
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>]
 </TD>
 </TR>