Rodrigues, Agnaldo, AND 		Gluz, João.
" SAAPIEnS: A Tool for Authoring Learning Objects and Pedagogical Support in Natural Deduction for Propositional Logic" <em>Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC)</em> [Online], (28 May 2014)