String Pattern Matching in Polynomial Time. - Ken C. Liu; Arthur C. Fleck (POPL, 1979)