Roberto Bagnara Patricia M. Hill Enea Zaffanella Widening operators for powerset domains. 413-414 2007 9 STTT 3-4 http://dx.doi.org/10.1007/s10009-007-0029-y db/journals/sttt/sttt9.html#BagnaraHZ07