diff -r f47fc4840579 -r e71a6e2aca2d thys3/document/root.bib
--- a/thys3/document/root.bib	Sun Aug 14 09:44:27 2022 +0100
+++ b/thys3/document/root.bib	Mon Aug 15 17:26:08 2022 +0200
@@ -8,6 +8,18 @@
   pages = {46--90}
 }
 
+@InProceedings{NielsenHenglein2011,
+  author    = {L.~Nielsen and F.~Henglein},
+  title     = {{B}it-{C}oded {R}egular {E}xpression {P}arsing},
+  booktitle = {Proc.~of the 5th International Conference on Language
+               and Automata Theory and Applications (LATA)},
+  year      = {2011},
+  pages     = {402--413},
+  series    = {LNCS},
+  volume    = {6638}
+}
+
+
 @InProceedings{BjorklundMartensTimm2015,
   author = {H.~Bj\"{o}rklund and W.~Martens and T.~Timm},
   title = {{E}fficient {I}ncremental {E}valuation of {S}uccinct