Rodrigues, A., & 		Gluz, J.
(2014).
 SAAPIEnS: A Tool for Authoring Learning Objects and Pedagogical Support in Natural Deduction for Propositional Logic.
In <em>Proceedings of the 8th Workshop-School on Agents, Environments, and Applications</em>, (pp. 209-214). Porto Alegre: SBC.
doi:10.5753/wesaac.2014.33304