Rodrigues, Agnaldo, 		Galão, Matheus, 		Schwarz, Gustavo, E 		Gluz, João Carlos.
" SAAPIENS: Uma ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional" <em>Anais do Simpósio Brasileiro de Informática na Educação (SBIE)</em> [Online], (3 novembro 2014)