Lemor Jr., Luiz Carlos, Simone André da Costa Cavalheiro, and Luciana Foss. “Proof Tactics for Theorem Proving Graph Grammars through Rodin”. Revista de Informática Teórica e Aplicada 22, no. 1 (May 18, 2015): 190–241. Accessed March 28, 2024. https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL22-NR1-190.