String Matching with Variable Length Gaps
A Four Russians algorithm for regular expression pattern matching