Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

Michael Codish Dennis Dams Eyal Yardeni Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. 79-93 1991 ICLP db/conf/iclp/iclp91.html#CodishDY91