SCHREINER, Marcos A.; 						GIL, Fabio H.; 						LISBÔA, Eliana S.; 						KARLING, Daniel A..
 STI - Lógica Livre: uma ferramenta para auxiliar a aprendizagem de equivalência lógica no âmbito da educação superior. <em>In</em>: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 30.	, 2019, Brasília/DF.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 1661-1670. 
		DOI: <a href="https://doi.org/10.5753/cbie.sbie.2019.1661">https://doi.org/10.5753/cbie.sbie.2019.1661</a>.