@InProceedings{Bradley+others/06/Decidable, author = {Aaron R. Bradley and Zohar Manna and Henny B. Sipma}, title = {What 's Decidable About Arrays?}, booktitle = {Verification, Model Checking, and Abstract Interpretation: $7^{th}$ International Conference, {(VMCAI)}}, pages = {427--442}, year = 2006, volume = 3855, series = lncs, address = {Charleston, SC}, month = {January}, publisher = {Springer Verlag} }