diff -r abad02dd7719 -r 0a6cd528abf2 etnms/ninems.bbl
--- a/etnms/ninems.bbl	Fri Jan 10 16:16:59 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,71 +0,0 @@
-\begin{thebibliography}{10}
-
-\bibitem{Antimirov95}
-V.~Antimirov.
-\newblock {P}artial {D}erivatives of {R}egular {E}xpressions and {F}inite
-  {A}utomata {C}onstructions.
-\newblock {\em Theoretical Computer Science}, 155:291--319, 1995.
-
-\bibitem{AusafDyckhoffUrban2016}
-F.~Ausaf, R.~Dyckhoff, and C.~Urban.
-\newblock {POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions
-  ({P}roof {P}earl).
-\newblock In {\em Proc.~of the 7th International Conference on Interactive
-  Theorem Proving (ITP)}, volume 9807 of {\em LNCS}, pages 69--86, 2016.
-
-\bibitem{Brzozowski1964}
-J.~A. Brzozowski.
-\newblock {D}erivatives of {R}egular {E}xpressions.
-\newblock {\em Journal of the {ACM}}, 11(4):481--494, 1964.
-
-\bibitem{Davis18}
-J.~C. Davis, C.~.A. Coghlan, F.~Servant, and D.~Lee.
-\newblock {T}he {I}mpact of {R}egular {E}xpression {D}enial of {S}ervice
-  ({ReDoS}) in {P}ractice: {A}n {E}mpirical {S}tudy at the {E}cosystem {S}cale.
-\newblock In {\em Proc.~of the 26th ACM Joint Meeting on European Software
-  Engineering Conference and Symposium on the Foundations of Software
-  Engineering (ESEC/FSE)}, pages 246--256, 2018.
-
-\bibitem{CrashCourse2014}
-N.~B.~B. Grathwohl, F.~Henglein, and U.~T. Rasmussen.
-\newblock {A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and
-  {R}egular {E}xpressions as {T}ypes.
-\newblock Technical report, University of Copenhagen, 2014.
-
-\bibitem{Kuklewicz}
-C.~Kuklewicz.
-\newblock {R}egex {P}osix.
-\newblock \url{https://wiki.haskell.org/Regex_Posix}.
-
-\bibitem{nielson11bcre}
-Fritz~Henglein Lasse~Nielsen.
-\newblock Bit-coded regular expression parsing.
-\newblock {\em LATA}, 2011.
-
-\bibitem{OkuiSuzuki2010}
-S.~Okui and T.~Suzuki.
-\newblock {D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition
-  {A}utomata with {A}ugmented {T}ransitions.
-\newblock In {\em Proc.~of the 15th International Conference on Implementation
-  and Application of Automata (CIAA)}, volume 6482 of {\em LNCS}, pages
-  231--240, 2010.
-
-\bibitem{17Bir}
-Asiri Rathnayake and Hayo Thielecke.
-\newblock Static analysis for regular expression exponential runtime via
-  substructural logics.
-\newblock {\em arXiv:1405.7058}, 2017.
-
-\bibitem{Sulzmann2014}
-M.~Sulzmann and K.~Lu.
-\newblock {POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives.
-\newblock In {\em Proc.~of the 12th International Conference on Functional and
-  Logic Programming (FLOPS)}, volume 8475 of {\em LNCS}, pages 203--220, 2014.
-
-\bibitem{Vansummeren2006}
-S.~Vansummeren.
-\newblock {T}ype {I}nference for {U}nique {P}attern {M}atching.
-\newblock {\em ACM Transactions on Programming Languages and Systems},
-  28(3):389--428, 2006.
-
-\end{thebibliography}