@misc{indiciae01199ef724e5, title = {Using weakest application conditions to rank graph transformations for graph repair}, author = {Lars Fritsche and Alexander Lauer and Maximilian Kratz and Andy Schürr and Gabriele Taentzer}, year = {2026}, doi = {10.46298/lmcs-22(1:10)2026}, url = {https://arxiv.org/abs/2405.08788}, note = {Source identifier: 2405.08788} }