J. Hromkovic
Comenius Univ., Bratislava, Czechoslovakia
Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal
Information Processing Letters
Complexity of multi-head finite automata: Origins and directions
Theoretical Computer Science