Janssen, Theo M.V. “A Compositional Semantic for the Game-Theoretical Interpretation of Logic”. Proceedings of the Amsterdam Colloquium, Dec. 1997, pp. 181-5, https://platform.openjournals.nl/PAC/article/view/24592.