Juha Oikkonen Jouko A. Väänänen Game-Theoretic Inductive Definability. 265-306 1993 65 Ann. Pure Appl. Logic 3 db/journals/apal/apal65.html#OikkonenV93