M. Souza, M. Oliveira, and M. Souza. " Boolace: Educational Game to Help Teaching and Learning Propositional Logic", in Companion Proceedings of the 13th Brazilian Congress on Computers in Education, Rio de Janeiro/RJ, 2024, pp. 135-138, doi: https://doi.org/10.5753/cbie_estendido.2024.243563.