String-matching cannot be done by a two-head one-way deterministic finite automaton
scientific article; zbMATH DE number 3952036