An Algebraic Approach to Sharing Analysis of Logic Programs.

Michael Codish, Vitaly Lagoon, Francisco Bueno

Browse the full SAS paper archive.