GLUZ, João Carlos; 						BUENO, Rafael; 						PERES, Rafael Koch; 						GALAFASSI, Fabiane Penteado.
 Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados. <em>In</em>: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 28.	, 2017, Recife/PE.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2017
.
 p. 1107-1116. 
		DOI: <a href="https://doi.org/10.5753/cbie.sbie.2017.1107">https://doi.org/10.5753/cbie.sbie.2017.1107</a>.