TY  - RPRT
TI  - Termination of Graph Transformation Systems Using Weighted Subgraph Counting
AU  - Roy Overbeek
AU  - Jörg Endrullis
PY  - 2024
DO  - 10.46298/lmcs-20(4:12)2024
UR  - https://arxiv.org/abs/2303.07812
ID  - 2303.07812
ER  -