Vitaly Lagoon Peter J. Stuckey Precise pair-sharing analysis of logic programs. 99-108 2002 conf/ppdp/2002 PPDP http://doi.acm.org/10.1145/571157.571168 db/conf/ppdp/ppdp2002.html#LagoonS02