Rodrigues, Agnaldo, Matheus Campezatto Galão, Gustavo Schwarz, 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 XXV Simpósio Brasileiro de Informática na Educação,
Dourados/MS, 2014</em>. SBC, 2014,  
pp.1003-1012.