Reasoning about The Past with Two-Way Automata (1998)

by M Y Vardi
Venue:In 25th International Colloqium on Automata, Languages and Programming, ICALP ’98