@article {Simula.simula.2180,
	title = {A Combined Approach for Constraints Over Finite Domains and Arrays},
	journal = {journal},
	year = {2014},
	publisher = {Springer Berlin Heidelberg},
	author = {Bardin, Sebastien and Gotlieb, Arnaud and Flener, Pierre}
}
