Higher-Precision Groundness Analysis

Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey. Higher-Precision Groundness Analysis. In Philippe Codognet, editor, Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2237 of Lecture Notes in Computer Science, pages 135-149, Springer, 2001. [doi]

Authors

Michael Codish

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

Samir Genaim

This author has not been identified. It may be one of the following persons: Look up 'Samir Genaim' 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