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