@article {193,
	title = {An extension of lazy abstraction with interpolation for programs with arrays},
	journal = {FMSD},
	year = {2014},
	keywords = {Array programs, Lazy abstraction, Model checking, SMT},
	issn = {1572-8102},
	doi = {10.1007/s10703-014-0209-9},
	author = {Francesco Alberti and Bruttomesso, R. and Ghilardi, S. and Ranise, S. and Natasha Sharygina}
}
