An Algebraic Approach to Sharing Analysis of Logic Programs.

Michael Codish Vitaly Lagoon Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. 111-149 2000 42 J. Log. Program. 2 db/journals/jlp/jlp42.html#CodishLB00