1 @inproceedings{Sulzmann2014,

     2 @inproceedings{Sulzmann2014,

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

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

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

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

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

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

     5   pages     = {203--220},

     6   pages     = {203--220},