Santos, M., 		Freitas, J., 		Silva, G., & 		Bispo Jr., E.
(2020).
 Validation of an Algorithm Visualization Tool for Teaching Induction Proof in Graph Theory.
In <em>Proceedings of the 31st Brazilian Symposium on Computers in Education</em>, (pp. 1613-1622). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2020.1613