T. Henzinger, T. Hottelier, L. Kovacs, A. Rybalchenko:
"Aligators for Arrays (Tool Paper)";
in: "Proceedings of the 17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)", Springer LNCS 6397, Springer, 2010, ISBN: 978-3-642-16241-1, 348 - 356.
http://publik.tuwien.ac.at/files/PubDat_192441.pdf