K. Verissimo and E. Melo.
" Propositional Logic in Motion: Evaluation of an Active Methodology with a Human Board Game", in <em>Proceedings of the 6th Brazilian Symposium on Computing Education</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>.