Rodrigues, A., & 		Gluz, J.
2014 May 28.  SAAPIEnS: A Tool for Authoring Learning Objects and Pedagogical Support in Natural Deduction for Propositional Logic. Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC). [Online] :