--- a/AFP-Submission/document/root.bib	Tue Jun 14 12:37:46 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-
-@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