Gluz, João Carlos, Rafael Bueno, Rafael Koch Peres, and Fabiane Penteado Galafassi.
" Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados." <em>Anais do XXVIII Simpósio Brasileiro de Informática na Educação,
Recife/PE, 2017</em>. SBC, 2017,  
pp.1107-1116.