@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}
}