VASCONCELOS, Beatriz Loyola Gomes de; 						SILVA, João Euclides Mártires; 						BEDOR, Pedro Vitor Chagas; 						MATOS, Erick Simões de.
 EXIT: um Jogo de Puzzle como Recurso de Apoio ao Ensino de Lógica Proposicional. <em>In</em>: WORKSHOP MAGICA - GAMES NA GRADUAÇÃO E NA EDUCAÇÃO BÁSICA - SIMPÓSIO BRASILEIRO DE JOGOS E ENTRETENIMENTO DIGITAL (SBGAMES), 25.	, 2026, Goiânia/GO.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 645-650. 
		DOI: <a href="https://doi.org/10.5753/sbgames_estendido.2026.32769">https://doi.org/10.5753/sbgames_estendido.2026.32769</a>.