Abstraction Refinement for Quantified Array Assertions. - Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas (2009)