Beatriz Loyola Vasconcelos, João Euclides Silva, Pedro Vitor Bedor, and Erick Matos. 2026. EXIT: um Jogo de Puzzle como Recurso de Apoio ao Ensino de Lógica Proposicional. In Anais Estendidos do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital, setembro 29, 2026, Goiânia/GO, Brasil. SBC, Porto Alegre, Brasil, 645-650. DOI: https://doi.org/10.5753/sbgames_estendido.2026.32769.