Santana, Thalia, Ramayane B. Braga, Rangel Rigo, and Rafael D. Araújo.
" Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados." <em>Anais do VI Simpósio Brasileiro de Educação em Computação,
Campo Grande/MS, 2026</em>. SBC, 2026,  
pp.757-769.