Title: The Boyer-Moore pattern-matching algorithm