@article{GR98,
author = {R. Giacobazzi and F. Ranzato},
title = {Optimal domains for disjunctive abstract interpretation},
journal = {Science of Computer Programming},
year = {1998},
volume = {32},
number = {1-3},
pages = {177-210}}