Efficient Top-Down Set-Sharing Analysis Using Cliques.

Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo

Browse the full PADL paper archive.