@inproceedings{gm03,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Domain Compression for Complete Abstractions},
        booktitle = {Fourth International Conference on
           Verification, Model Checking and Abstract Interpretation (VMCAI'03)},
        volume = {2575},
        series = {Lecture Notes in Computer Science},
        publisher = {Springer-Verlag},
        pages = {146-160},
        year = 2003}