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]

Authors

Michael Codish

This author has not been identified. Look up 'Michael Codish' in Google

Harald Søndergaard

This author has not been identified. Look up 'Harald Søndergaard' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google