TY  - RPRT
TI  - Using weakest application conditions to rank graph transformations for graph repair
AU  - Lars Fritsche
AU  - Alexander Lauer
AU  - Maximilian Kratz
AU  - Andy Schürr
AU  - Gabriele Taentzer
PY  - 2026
DO  - 10.46298/lmcs-22(1:10)2026
UR  - https://arxiv.org/abs/2405.08788
ID  - 2405.08788
ER  -