Santana, Thalia, 		Braga, Ramayane, 		Rigo, Rangel, E 		Araújo, Rafael.
" Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados" <em>Anais do Simpósio Brasileiro de Educação em Computação (EDUCOMP)</em> [Online], (4 maio 2026)