(1)
Grobauer, B.; Lawall, J. Partial Evaluation of Pattern Matching in Strings, Revisited. BRICS 2000, 7.