"An Algebraic Approach to Sharing Analysis of Logic Programs."

Michael Codish, Vitaly Lagoon, Francisco Bueno (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics