Vasconcelos, Beatriz Loyola, João Euclides Mártires Silva, Pedro Vitor Chagas Bedor, and Erick Simões de Matos. " EXIT: um Jogo de Puzzle como Recurso de Apoio ao Ensino de Lógica Proposicional." Anais Estendidos do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital, Goiânia/GO, 2026. SBC, 2026, pp.645-650.