M. Souza, M. Oliveira, and M. Souza.
" Boolace: A Propositional Logic Game-Course - WTD", in <em>Companion Proceedings of the 2nd Brazilian Symposium on Computing Education</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>.