M. Souza, M. Oliveira, and M. Souza. " Boolace: Educational Game to Help Teaching and Learning Propositional Logic", in Companion Proceedings of the 23rd Brazilian Symposium on Games and Digital Entertainment, 2024, pp. 235-240, doi: https://doi.org/10.5753/sbgames_estendido.2024.241746.