Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ. - Juraj Hromkovic; Rastislav Královic; Richard Královic; Richard Stefanec (Int. J. Found. Comput. Sci., 2013)