Schreiner, M., 		Gil, F., 		Lisbôa, E., & 		Karling, D.
(2019).
 STI - Free Logic: a tool to assist learning of logical equivalence in higher education.
In <em>Proceedings of the 30th Brazilian Symposium on Computers in Education</em>, (pp. 1661-1670). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2019.1661