Janssen, T.M. 1997. A compositional semantic for the game-theoretical interpretation of logic. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 181–185.