Kybernetika 24 no. 1, 65-71, 1988

Nondeterminism is essential for reversal-bounded two-way multihead finite automata