1 

     2 @inproceedings{Sulzmann2014,

     3   author    = {M.~Sulzmann and K.~Lu},

     4   title     = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives},

     5   booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)},

     6   pages     = {203--220},

     7   year      = {2014},

     8   volume =    {8475},

     9   series =    {LNCS}

    10 }