M. Schreiner, F. Gil, E. Lisbôa, and D. Karling.
" STI - Lógica Livre: uma ferramenta para auxiliar a aprendizagem de equivalência lógica no âmbito da educação superior", in <em>Anais do XXX Simpósio Brasileiro de Informática na Educação</em>, Brasília/DF, 2019, pp. 1661-1670, doi: <a href="https://doi.org/10.5753/cbie.sbie.2019.1661">https://doi.org/10.5753/cbie.sbie.2019.1661</a>.