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