An Algebraic Approach to Sharing Analysis of Logic Programs.

Michael Codish Vitaly Lagoon Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. 68-82 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#CodishLB97