On the power of real-time two-way multihead finite automata with jumps
scientific article; zbMATH DE number 3858417