@inproceedings{HIV08h,
title = {A Logic of Singly Indexed Arrays },
author = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}s},
year = {2008},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings},
pages = {558-573},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5330},
team = {DCS,PACSS},
}
