Describir: Research on Pattern Matching with Wildcards and Length Constraints: Methods and Completeness