T. Santana, R. Braga, R. Rigo, and R. Araújo.
" Logic Expedition: Playing and Learning Propositional and Predicate Logic", in <em>Proceedings of the 6th Brazilian Symposium on Computing Education</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>.