Approximately Compatible Graph Predicates - Verifying Program Termination Using Graph Grammars. - Alexander Ferber; Ira Fesefeldt; Thomas Noll 001; Emmett Rayes (ICGT, 2026)