String Matching with Variable Length Gaps
fast pattern matching in strings .