@inproceedings{NikolicSAliasing,
   Author = {Nikoli\'c, {\DH}urica and Spoto, Fausto},
   Title = {Definite Expression Aliasing Analysis for Java Bytecode},
   Booktitle = {Proceedings of the 9th International Colloquium on Theoretical Aspects of Computing (ICTAC'12)},
   Series = {Lecture Notes in Computer Science},
   Editor = {Roychoudhury, A. and D’Souza, M.},
   Publisher = {Springer-Verlag Berlin Heidelberg},
   Pages = {74-89},
   Volume = {7521},
   Month = {September},
   Year = {2012},
   isbn = {978-3-642-32942-5}
}