@inproceedings { ABGRS_LPAR12,
	title = {Lazy Abstraction with Interpolants for Arrays},
	booktitle = {18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)},
	year = {2012},
	note = {Extended version. The original publication is available at www.springerlink.com.},
	publisher = {Springer},
	organization = {Springer},
	address = {Mérida, Venezuela},
	author = {Francesco Alberti and  Roberto Bruttomesso and  Silvio Ghilardi and  Silvio Ranise and  Natasha Sharygina}
}