Games of Imperfect Information via Automata andLogic

Author: 
Hans van ditmarsch