Reference:

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. Aligators for arrays (tool paper). In Fermüller and Voronkov, pages 348–356.

Suggested BibTeX entry:

@inproceedings{DBLP:conflparHenzingerHKR10,
    author = {Thomas A. Henzinger and Thibaud Hottelier and Laura Kov{\'a}cs and Andrey Rybalchenko},
    booktitle = {LPAR (Yogyakarta)},
    editor = {Christian G. Ferm{\"u}ller and Andrei Voronkov},
    pages = {348-356},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Aligators for Arrays (Tool Paper)},
    volume = {6397},
    year = {2010}
}