Efficient Groundness Analysis in Prolog

Jacob M. Howe, Andy King. Efficient Groundness Analysis in Prolog. TPLP, 3(1):95-124, 2003.