Verissimo, K., & Melo, E. (2026). Lógica Proposicional em Movimento: Avaliação de uma Metodologia Ativa com Tabuleiro Humano. In Anais do VI Simpósio Brasileiro de Educação em Computação, (pp. 550-561). Porto Alegre: SBC. doi:10.5753/educomp.2026.18603