J. Andrade and M. Canese.
" Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal", in <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação</em>, Campinas/SP, 2013, pp. 426-435, doi: <a href="https://doi.org/10.5753/cbie.sbie.2013.426">https://doi.org/10.5753/cbie.sbie.2013.426</a>.