Santana, T., 		Braga, R., 		Rigo, R., & 		Araújo, R.
2026 mai  4.  Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados. Anais do Simpósio Brasileiro de Educação em Computação (EDUCOMP). [Online] :