@inproceedings{HIV08g,
title = {What Else Is Decidable about Integer Arrays? },
author = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}s},
year = {2008},
booktitle = {Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008},
pages = {474-489},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4962},
team = {DCS,PACSS},
}
