Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution
ICLP, 1998.
@inproceedings{JICSLP-1998-RaoRR,
author = "Prasad Rao and C. R. Ramakrishnan and I. V. Ramakrishnan",
booktitle = "{Proceedings of the Joint International 15th Conference and Symposium on Logic Programming}",
isbn = "0-262-60031-5",
pages = "310--324",
publisher = "{MIT Press}",
title = "{On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution}",
year = 1998,
}