[1]
M. S. Ager, O. Danvy, and H. K. Rohde, “On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation”, BRICS, vol. 9, no. 32, Jul. 2002.