JANSSEN, Theo M.V. A compositional semantic for the game-theoretical interpretation of logic. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 181–185, 1997. DOI: 10.53437/8qj7v276. Disponível em: https://platform.openjournals.nl/PAC/article/view/24592. Acesso em: 9 sep. 2026.