Proof Tactics for Theorem Proving Graph Grammars through Rodin. - Luiz Carlos Lemor Jr.; Simone André da Costa Cavalheiro; Luciana Foss (RITA, 2015)