Rodrigues, Agnaldo, and João Carlos Gluz.
" SAAPIEnS: A Tool for Authoring Learning Objects and Pedagogical Support in Natural Deduction for Propositional Logic." <em>Proceedings of the 8th Workshop-School on Agents, Environments, and Applications,
Porto Alegre/RS, 2014</em>. SBC, 2014,  
pp.209-214.