GROBAUER, B.; LAWALL, J. Partial Evaluation of Pattern Matching in Strings, revisited. BRICS Report Series, v. 7, n. 31, 1 Jun. 2000.