Costacurta, Ana, 		Kagami, Ricardo, 		Floriano, Alan, E 		Cabanas, Ana.
" Gamificação Desplugada para Lógica Proposicional: conexões entre Computação e Educação no Ensino Médio" <em>Anais do Encontro Nacional de Computação dos Institutos Federais (ENCompIF)</em> [Online], (20 julho 2025)