On the Class of Predicates Decidable by Two-Way Multitape Finite Automata. - Kojiro Kobayashi; Shigeru Sekiguchi (J. ACM, 1966)