A simple polynomial groundness analysis for logic programs. - Andy Heaton; Muhamed Abo-Zaed; Michael Codish; Andy King (J. Log. Program., 2000)