Rodrigues, A., & 		Gluz, J.
(2014).
 SAAPIEnS: Uma Ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional.
In <em>Anais do VIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, (pp. 209-214). Porto Alegre: SBC.