1. Sequential equilibria;Kreps;Econometrics,1982
2. Introduction to Automata Theory, Languages and Computation;Hopcroft,1975
3. Elements of Theory of Computation;Lewis,1981
4. Spieltheoretische behandlung eines oligopolmodells mit nachfragetragheit;Selten;Zeitschrift fur die gesamte Staatswissenschaft,1975
5. On the computational complexity and geometry of the first-order theory of the Reals: Part III—quantifier elimination;Renegar,1989