Infinite Games and Transfinite Recursion of Multiple Inductive Definitions. - Keisuke Yoshii; Kazuyuki Tanaka (CiE, 2012)