Gluz, J., 		Bueno, R., 		Peres, R., & 		Galafassi, F.
(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>, (pp. 1107-1116). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2017.1107