B. Vasconcelos, J. Silva, P. Bedor, and E. Matos. " 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, Goiânia/GO, 2026, pp. 645-650, doi: https://doi.org/10.5753/sbgames_estendido.2026.32769.