"Widening Operators for Powerset Domains."

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics