Natural limitations of decisions procedures for arithmetic with bounded quantifiers. Daniele Mundici (1983) Archiv für mathematische Logik und Grundlagenforschung
Nondeterminism is essential for reversal-bounded two-way multihead finite automata Andrej Bebják, Ivana Štefáneková (1988) Kybernetika