Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.

Agostino Cortesi Gilberto Filé Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. 52-61 1991 PEPM db/conf/pepm/pepm91.html#CortesiF91