Sharing and groundness dependencies in logic programs

Michael Codish, Harald Søndergaard, Peter J. Stuckey. Sharing and groundness dependencies in logic programs. ACM Transactions on Programming Languages and Systems, 21(5):948-976, 1999. [doi]

Abstract

Abstract is missing.