Lemor Jr., L.C. et al. 2015. Proof Tactics for Theorem Proving Graph Grammars through Rodin. Revista de Informática Teórica e Aplicada. 22, 1 (May 2015), 190–241. DOI:https://doi.org/10.22456/2175-2745.50383.