RULE-BASED GRAPH PROGRAMS MATCHING THE TIME COMPLEXITY OF IMPERATIVE ALGORITHMS. - ALAOUI, ZIAD ISMAILI; PLUMP, DETLEF (Logical Methods in Computer Science (LMCS), 2026)