LEMOR JR., Luiz Carlos; CAVALHEIRO, Simone André da Costa; FOSS, Luciana. Proof Tactics for Theorem Proving Graph Grammars through Rodin. Revista de Informática Teórica e Aplicada, [S. l.], v. 22, n. 1, p. 190–241, 2015. DOI: 10.22456/2175-2745.50383. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL22-NR1-190. Acesso em: 3 aug. 2026.