Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
Extracting Determinacy in Logic Programs
ICLP, 1993.
@inproceedings{ICLP-1993-DawsonRRS,
author = "Steven Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan and R. C. Sekar",
booktitle = "{Proceedings of the 10th International Conference on Logic Programming}",
isbn = "0-262-73105-3",
pages = "424--438",
publisher = "{MIT Press}",
title = "{Extracting Determinacy in Logic Programs}",
year = 1993,
}