@inproceedings{GR97-icalp,
	author = {R. Giacobazzi and F. Ranzato},
	title = {Refining and compressing abstract domains},
	booktitle = "Proc.
    of the 24th International Colloquium on Automata, Languages, and
    Programming (ICALP'97)",
        series= "Lecture Notes in Computer Science",
        volume = {1256},
        pages = {771-781},
	editor = {P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela},
	publisher = "Springer-Verlag, Berlin",
	year = 1997}