A. Rodrigues and J. Gluz.
" 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>, Porto Alegre/RS, 2014, pp. 209-214.