@article{4911,
  title = "Regular Repairs of Specifications",
  author = "Michael Benedikt and Gabriele Puppis and Cristian Riveros",
  year = "2011",
  journal = "LICS'11: Proceedings of the 26th Annual IEEE Symposium on  Logic in Computer Science",
}