diff -r 9a3fe74de4b0 -r 5d94313977b1 publications.html --- 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 @@

POSIX Lexing with Bitcoded Derivatives. (with Tan)

POSIX Lexing with Derivatives of Regular Expressions. - Journal version. Accepted in Journal of Automated Reasoning. + Accepted in Journal of Automated Reasoning. + [pdf]