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

by M Y Vardi
Venue:In Proc. 25th International Coll. on Automata, Languages, and Programming, LNCS