diff -r ff0844860981 -r e866678c29cb thys/Paper/document/root.bib
--- a/thys/Paper/document/root.bib	Tue Mar 08 00:45:09 2016 +0000
+++ b/thys/Paper/document/root.bib	Tue Mar 08 05:03:47 2016 +0000
@@ -9,6 +9,17 @@
   series =    {LNCS}
 }
 
+@inproceedings{Sulzmann2014b,
+  author    = {M.~Sulzmann and P.~van Steenhoven},
+  title     = {{A} {F}lexible and {E}fficient {ML} {L}exer {T}ool {B}ased on {E}xtended {R}egular
+               {E}xpression {S}ubmatching},
+  booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)},
+  pages     = {174--191},
+  year      = {2014},
+  volume    = {8409},
+  series =    {LNCS}
+}
+
 @Misc{Kuklewicz,
   author = 	 {C.~Kuklewicz},
   title = 	 {{R}egex {P}osix},