A. Rodrigues, M. Galão, G. Schwarz, 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 XXV Simpósio Brasileiro de Informática na Educação</em>, Dourados/MS, 2014, pp. 1003-1012, doi: <a href="https://doi.org/10.5753/cbie.sbie.2014.1003">https://doi.org/10.5753/cbie.sbie.2014.1003</a>.