João Carlos Gluz, Rafael Bueno, Rafael Peres, and Fabiane Galafassi. 2017.
 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>, outubro 30, 2017, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 1107-1116. DOI: <a href="https://doi.org/10.5753/cbie.sbie.2017.1107">https://doi.org/10.5753/cbie.sbie.2017.1107</a>.