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, doi: <a href="https://doi.org/10.5753/wesaac.2014.33304">https://doi.org/10.5753/wesaac.2014.33304</a>.