@inproceedings{BIL04,
title = {On Logics of Aliasing },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2004},
booktitle = {Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings},
number = {3253},
pages = {344-360},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3148},
team = {DCS,PACSS},
}
