Ager, M. S., Danvy, O., & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, 10(11). https://doi.org/10.7146/brics.v10i11.21953