Ana Costacurta, Ricardo Kagami, Alan Floriano, and Ana Cabanas. 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>, julho 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 139-146. DOI: <a href="https://doi.org/10.5753/encompif.2025.8050">https://doi.org/10.5753/encompif.2025.8050</a>.