A Four Russians algorithm for regular expression pattern matching
The String-to-String Correction Problem