LIN, Y.; GROV, G.; ARTHAN, R. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. Journal of Formalized Reasoning, [S. l.], v. 9, n. 2, p. 69–130, 2016. DOI: 10.6092/issn.1972-5787/6298. Disponível em: https://jfr.unibo.it/article/view/6298. Acesso em: 8 feb. 2023.