James R. Knight Eugene W. Myers Super-Pattern Matching. 211-243 1995 13 Algorithmica 1/2 db/journals/algorithmica/algorithmica13.html#KnightM95