Ager, M. S.; Danvy, O.; Rohde, H. K. Fast Partial Evaluation of Pattern Matching in Strings. BRICS 2004, 11.