@article {216,
	title = {Decision Procedures for Flat Array Properties},
	journal = {J. Autom. Reasoning},
	volume = {54},
	year = {2015},
	month = {04/2015},
	pages = {352},
	chapter = {327},
	author = {Francesco Alberti and Ghilardi, S. and Natasha Sharygina}
}
