--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/AFP-Submission/document/root.bib	Tue May 24 11:36:21 2016 +0100
@@ -0,0 +1,10 @@
+
+@inproceedings{Sulzmann2014,
+  author    = {M.~Sulzmann and K.~Lu},
+  title     = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives},
+  booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)},
+  pages     = {203--220},
+  year      = {2014},
+  volume =    {8475},
+  series =    {LNCS}
+}
\ No newline at end of file