"Precise pair-sharing analysis of logic programs."

Vitaly Lagoon, Peter J. Stuckey (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics