429 @InProceedings{Sulzmann12,

   429 @inproceedings{Sulzmann12,

   430   title =	"M.~Sulzmann and K.~Z.~M.~Lu",

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

   431   author =	"XXX", 

   431   title     = {{R}egular {E}xpression {S}ub-{M}atching using {P}artial {D}erivatives},

   432   booktitle =	"Proc. of XXX",

   432   booktitle = {Proc.~of the 14th Symposium on Principles and Practice of Declarative Programming (PPDP)},

   433   year = 	"2012",

   433   year      = {2012},

   434   pages =	"XXX"

   434   pages     = {79--90},

   435 }

   435   publisher = {ACM}

   436 }

   437 

   438 

   439 

   440 @Unpublished{Smolka13,

   441   author =       {C.~Doczkal and J.~O.~Kaiser and G.~Smolka},

   442   title =        {{A} {C}onstructive {T}heory of {R}egular {L}anguages in {C}oq},

   443   note =         {Accepted for publication in {\it Proc.~of the 3rd International Conference on 

   444                   Certified Programs and Proofs}},

   445   year =         {2013}

   446 }

   447