Fortnow, Lance and
Homer, Steven. 2014.
“Computational Complexity.” in
Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H.
Siekmann and Dov M.
Gabbay, pp. 495–522. Amsterdam: Elsevier Science Publishers B.V.
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.