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