@article {173,
	title = {Abstraction and Acceleration in SMT-based Model-Checking for Array Programs},
	journal = {CoRR},
	volume = {April 2013},
	year = {2013},
	author = {Francesco Alberti and Ghilardi, S. and Natasha Sharygina}
}
