Souza, M., Oliveira, M., & Souza, M. (2022). Boolace: A Propositional Logic Game-Course - WTD. In Companion Proceedings of the 2nd Brazilian Symposium on Computing Education, (pp. 47-49). Porto Alegre: SBC. doi:10.5753/educomp_estendido.2022.19414