Rodrigues, A., 		Galão, M., 		Schwarz, G., & 		Gluz, J.
(2014).
 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>, (pp. 1003-1012). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2014.1003