M. S. Ager, O. Danvy, and H. K. Rohde, “Fast Partial Evaluation of Pattern Matching in Strings”, BRICS, vol. 10, no. 11, Feb. 2003.