Livio Colussi Fastest Pattern Matching in Strings. 163-189 1994 16 J. Algorithms 2 db/journals/jal/jal16.html#Colussi94