@article{GRS00,
author = {R. Giacobazzi and F. Ranzato and F. Scozzari},
title = {Making abstract interpretations complete},
year = {2000},
journal = {Journal of the ACM},
volume = {47},
number = {2},
pages = {361-416}}