Gluz, J., 		Bueno, R., 		Peres, R., & 		Galafassi, F.
2017 out 30.  Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :