Costacurta, A., 		Kagami, R., 		Floriano, A., & 		Cabanas, A.
(2025).
 Gamificação Desplugada para Lógica Proposicional: conexões entre Computação e Educação no Ensino Médio.
In <em>Anais do XII Encontro Nacional de Computação dos Institutos Federais</em>, (pp. 139-146). Porto Alegre: SBC.
doi:10.5753/encompif.2025.8050