M. Souza, M. Oliveira, and M. Souza.
"Boolace: Um Jogo-Curso de Lógica Proposicional - WTD", in <em>Anais Estendidos do II Simpósio Brasileiro de Educação em Computação</em>, Online, 2022, pp. 47-49, doi: <a href="https://doi.org/10.5753/educomp_estendido.2022.19414">https://doi.org/10.5753/educomp_estendido.2022.19414</a>.