Andrade, Jefferson, and Marta Canese.
" Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal." <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação,
Campinas/SP, 2013</em>. SBC, 2013,  
pp.426-435.