A variation on the Boyer-Moore algorithm
scientific article; zbMATH DE number 55522
scientific article