@inproceedings{SeghirPW09,
  title = "Abstraction Refinement for Quantified Array Assertions",
  author = "Mohamed Nassim Seghir and Andreas Podelski and Thomas Wies",
  year = "2009",
  booktitle = "SAS",
  pages = "3-18",
}