Nondeterminism is essential in small two-way finite automata with few reversals
scientific article; zbMATH DE number 6171329