A logic-based incremental approach to graph repair - Schneider, Sven (Verfasser); Lambers, Leen (Verfasser); Orejas, Fernando (Verfasser) (Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam, 2019)