Jefferson Andrade and Marta Canese. 2013.
 Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. In <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação</em>, novembro 25, 2013, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 426-435. DOI: <a href="https://doi.org/10.5753/cbie.sbie.2013.426">https://doi.org/10.5753/cbie.sbie.2013.426</a>.