Efficient Top-Down Set-Sharing Analysis Using Cliques.

Jorge Navas Francisco Bueno Manuel V. Hermenegildo Efficient Top-Down Set-Sharing Analysis Using Cliques. 183-198 2006 conf/padl/2006 PADL http://dx.doi.org/10.1007/11603023_13 db/conf/padl/padl2006.html#NavasBH06