Tree-Verifiable Graph Grammars. - Mark Chimes; Radu Iosif; Florian Zuleger (LPAR, 2024)