Roberto Bagnara Enea Zaffanella Patricia M. Hill Enhanced sharing analysis techniques: a comprehensive evaluation. 1-43 2005 5 TPLP 1-2 http://dx.doi.org/10.1017/S1471068404001978 db/journals/tplp/tplp5.html#BagnaraZH05