Souza, M., Oliveira, M., & Souza, M. (2024). Boolace: Educational Game to Help Teaching and Learning Propositional Logic. In Companion Proceedings of the 13th Brazilian Congress on Computers in Education, (pp. 135-138). Porto Alegre: SBC. doi:10.5753/cbie_estendido.2024.243563