Grobauer, B., & Lawall, J. L. (2000). Partial Evaluation of Pattern Matching in Strings, revisited. BRICS Report Series, 7(31). https://doi.org/10.7146/brics.v7i31.20165