Fortnow, Lance and
Kimmel, Peter. 1998.
“Beating a Finite Automaton in the Big Match.” in
TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak
Gilboa, pp. 225–234. San Francisco, California: Morgan Kaufmann Publishers.