Termination of graph transformation systems using weighted subgraph counting
scientific article; zbMATH DE number 7787532
scientific article