Chatzieleftheriou, G., Bonakdarpour, B., Katsaros, P., & Smolka, S. A. (2015). Abstract Model Repair. Logical Methods In Computer Science, 3:11.
