Rodrigues, A., 		Galão, M., 		Schwarz, G., & 		Gluz, J.
2014 nov  3.  SAAPIENS: Uma ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :