@inproceedings{NikolicSReachability,
   Author = {Nikoli\'c, {\DH}urica and Spoto, Fausto},
   Title = {Reachability Analysis of Program Varibles},
   Booktitle = {Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12)},
   Series = {Lecture Notes in Artificial Intelligence},
   Editor = {Gramlich, Bernhard and Miller, Dalle and Sattler, Ulrike},
   Publisher = {Springer-Verlag Berlin Heidelberg},
   Pages = {423-438},
   Volume = {7364},
   Month = {June},
   Year = {2012}
}