Jacob M. Howe Andy King Efficient Groundness Analysis in Prolog. 95-124 2003 3 TPLP 1 db/journals/tplp/tplp3.html#HoweK03 http://dx.doi.org/10.1017/S1471068402001485