Ana Costacurta, Ricardo Kagami, Alan Floriano, and Ana Cabanas. 2025.
 Unplugged Gamification for Propositional Logic: connections Between Computing and Education in High School. In <em>Proceedings of the 12th National Computing Meeting of Federal Institutes</em>, July 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 139-146. DOI: <a href="https://doi.org/10.5753/encompif.2025.8050">https://doi.org/10.5753/encompif.2025.8050</a>.