A simple polynomial groundness analysis for logic programs

Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King. A simple polynomial groundness analysis for logic programs. Journal of Logic and Algebraic Programming, 45(1-3):143-156, 2000.

Abstract

Abstract is missing.