T. Santana, R. Braga, R. Rigo, and R. Araújo.
" Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados", in <em>Anais do VI Simpósio Brasileiro de Educação em Computação</em>, Campo Grande/MS, 2026, pp. 757-769, doi: <a href="https://doi.org/10.5753/educomp.2026.18741">https://doi.org/10.5753/educomp.2026.18741</a>.