(1)
Lemor Jr., L. C.; Cavalheiro, S. A. da C.; Foss, L. Proof Tactics for Theorem Proving Graph Grammars through Rodin. RITA 2015, 22, 190-241.