Games with bound guess actions.

Thomas Colcombet, Stefan Gller

Browse the full LICS paper archive.