Introducing Quantification into a Hierarchical Graph Rewriting Language. - Haruto Mishina; Kazunori Ueda (LOPSTR, 2024)