Ager, M. S., Danvy, O., & Rohde, H. K. (2002). On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation. BRICS Report Series, 9(32). https://doi.org/10.7146/brics.v9i32.21747