Souza, M., Oliveira, M., & Souza, M. (2022). Boolace: Um Jogo-Curso de Lógica Proposicional - WTD. In Anais Estendidos do II Simpósio Brasileiro de Educação em Computação, (pp. 47-49). Porto Alegre: SBC. doi:10.5753/educomp_estendido.2022.19414