Agnaldo Rodrigues and João Gluz. 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>, May 28, 2014, Porto Alegre/RS, Brasil. SBC, Porto Alegre, Brasil, 209-214. DOI: <a href="https://doi.org/10.5753/wesaac.2014.33304">https://doi.org/10.5753/wesaac.2014.33304</a>.