Schreiner, Marcos, Fabio H. Gil, Eliana S. Lisbôa, and Daniel A. Karling.
" STI - Lógica Livre: uma ferramenta para auxiliar a aprendizagem de equivalência lógica no âmbito da educação superior." <em>Anais do XXX Simpósio Brasileiro de Informática na Educação,
Brasília/DF, 2019</em>. SBC, 2019,  
pp.1661-1670.