Stem kmp$ (all stems)

2 papers:

CIAA-2015-Giaquinta #automaton #nondeterminism

Run-Length Encoded Nondeterministic KMP and Suffix Automata (EG), pp. 102–113.

JICSLP-1996-PettorossiPR #algorithm #deduction #how #specification #string

How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract) (AP, MP, SR), p. 539.