Janssen, T. M. (1997). A compositional semantic for the game-theoretical interpretation of logic. Proceedings of the Amsterdam Colloquium, 181-185. https://doi.org/10.53437/8qj7v276