RODRIGUES, Agnaldo M.; 						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>: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 8.	, 2014, Porto Alegre/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2014
.
 p. 209-214. 
			ISSN 2326-5434.