@conference {221,
	title = {A new Acceleration-based Combination Framework for Array Properties},
	booktitle = {FROCOS 2015},
	year = {2015},
	author = {Francesco Alberti and Silvio Ghilardi and Natasha Sharygina}
}
