Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis. See Furukawa (1991)

by M Codish, D Dams, E Yardeni