TERMINATION OF GRAPH TRANSFORMATION SYSTEMS VIA GENERALIZED WEIGHTED TYPE GRAPHS. - ENDRULLIS, JÖRG; OVERBEEK, ROY (Logical Methods in Computer Science (LMCS), 2026)