Lemor Jr., L. C., Cavalheiro, S. A. da C. and Foss, L. (2015) “Proof Tactics for Theorem Proving Graph Grammars through Rodin”, Revista de Informática Teórica e Aplicada, 22(1), pp. 190–241. doi: 10.22456/2175-2745.50383.