Journal: Annals of Pure and Applied Logic

Volume 62, Issue 3

265 -- 294Alexander Yakhnis, Vladimir Yakhnis. Gurevich-Harrington s Games Defined by Finite Automata