Reasoning about the past with two-way automata, in (1998)

by M Y Vardi
Venue:Proceedings of the 25th International Colloquium on Automata, Languages, and Programming