Graph Grammars: A Comparison between Verification Methods. - Andre Moura de Mello; Luiz Carlos Lemos Junior; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2011)

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. - Luiz Carlos Lemos Junior; Simone André da Costa Cavalheiro; Luciana Foss (SBMF, 2013)

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. - Luiz Carlos Lemos Junior; Simone André da Costa Cavalheiro; Luciana Foss (WEIT, 2013)