RODRIGUES, Agnaldo M.; 						GLUZ, João Carlos.
 SAAPIEnS: A Tool for Authoring Learning Objects and Pedagogical Support in Natural Deduction for Propositional Logic. <em>In</em>: WORKSHOP-SCHOOL ON AGENTS, ENVIRONMENTS, AND APPLICATIONS (WESAAC), 8.	, 2014, Porto Alegre/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2014
.
 p. 209-214. 
			ISSN 2326-5434. 
		DOI: <a href="https://doi.org/10.5753/wesaac.2014.33304">https://doi.org/10.5753/wesaac.2014.33304</a>.