diff -r 5b12ae98430c -r d09365eee0e3 publications.html
--- a/publications.html	Mon Mar 20 12:01:08 2023 +0000
+++ b/publications.html	Tue Apr 18 15:39:24 2023 +0100
@@ -72,7 +72,8 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>Pending</H3>
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
-      (with Tan) 
+  (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.
   [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>]