Efficient randomized pattern-matching algorithms | Synapse