Agnaldo Rodrigues, Matheus Galão, Gustavo Schwarz, and João Carlos Gluz. 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>, novembro 03, 2014, Dourados/MS, Brasil. SBC, Porto Alegre, Brasil, 1003-1012. DOI: <a href="https://doi.org/10.5753/cbie.sbie.2014.1003">https://doi.org/10.5753/cbie.sbie.2014.1003</a>.