An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs. - Renganathan Sundararajan; John S. Conery (FSTTCS, 1992)