History

for article: Boyer–Moore–Horspool algorithm