J. Gluz, R. Bueno, R. Peres, and F. Galafassi.
" Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados", in <em>Anais do XXVIII Simpósio Brasileiro de Informática na Educação</em>, Recife/PE, 2017, pp. 1107-1116, doi: <a href="https://doi.org/10.5753/cbie.sbie.2017.1107">https://doi.org/10.5753/cbie.sbie.2017.1107</a>.