Janssen, T. M. (1997). A compositional semantic for the game-theoretical interpretation of logic. Proceedings of the Amsterdam Colloquium, 181-185. https://platform.openjournals.nl/PAC/article/view/24592