@inproceedings{csl09,
  author    = {Rajeev Alur and
               Pavol {\v C}ern{\'y} and
               Scott Weinstein},
  title     = {Algorithmic Analysis of Array-Accessing Programs},
  booktitle = {CSL},
  year      = {2009},
  pages     = {86-101}
}