K. Verissimo and E. Melo.
" Lógica Proposicional em Movimento: Avaliação de uma Metodologia Ativa com Tabuleiro Humano", in <em>Anais do VI Simpósio Brasileiro de Educação em Computação</em>, Campo Grande/MS, 2026, pp. 550-561, doi: <a href="https://doi.org/10.5753/educomp.2026.18603">https://doi.org/10.5753/educomp.2026.18603</a>.