Jorge Navas Francisco Bueno Manuel V. Hermenegildo A Study of Set-Sharing Analysis via Clique. 31-45 2005 conf/lpe/2005 WLPE http://arxiv.org/abs/cs.LO/0508112 db/conf/lpe/wlpe2005.html#NavasBH05