Extracting Determinacy in Logic Programs.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Browse the full ICLP paper archive.