On two-way nondeterministic finite automata with one reversal-bounded counter
scientific article; zbMATH DE number 2136562