@article{GRS05,
   author = {R. Giacobazzi and F. Ranzato and F. Scozzari},
   title = {Making Abstract Domains Condensing},
   journal = {ACM Transactions on Computational Logic (ACM-TOCL)},
   year = {2005},
   volume = {6},
   number = {1},
   pages = {33-60}
}