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