Schreiner, M., Gil, F., Lisbôa, E., & Karling, D. 2019 nov 11. STI - Lógica Livre: uma ferramenta para auxiliar a aprendizagem de equivalência lógica no âmbito da educação superior. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :