@INPROCEEDINGS{bpr11A,
  author = {M. Benedikt and G. Puppis and C. Riveros},
  title = {Regular Repair of Specifications},
  booktitle = {Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS)},
  year = {2011},
  pages = {335-344},
  publisher = {IEEE Computer Society}
}