RODRIGUES, Agnaldo Martins; 						GALÃO, Matheus Campezatto; 						SCHWARZ, Gustavo; 						GLUZ, João Carlos.
 SAAPIENS: Uma ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional. <em>In</em>: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 25.	, 2014, Dourados/MS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2014
.
 p. 1003-1012. 
		DOI: <a href="https://doi.org/10.5753/cbie.sbie.2014.1003">https://doi.org/10.5753/cbie.sbie.2014.1003</a>.