A new proof of the linearity of the Boyer-Moore string searching algorithm | IEEE Conference Publication | IEEE Xplore