Schreiner, M., 		Gil, F., 		Lisbôa, E., & 		Karling, D.
2019 Nov 11.  STI - Free Logic: a tool to assist learning of logical equivalence in higher education. Proceedings of the Brazilian Symposium on Computers in Education (SBIE). [Online] :