@article {,
	title = {Abstract Model Repair},
	journal = {Logical Methods in Computer Science},
	volume = {3:11},
	year = {2015},
	author = {G. Chatzieleftheriou and B. Bonakdarpour and P. Katsaros and S. A. Smolka}
}
