Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift
Optimizing Clause Resolution: Beyond Unification Factoring
ICLP, 1995.
@inproceedings{ILPS-1995-DawsonRRS,
author = "Steven Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan and Terrance Swift",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-62099-5",
pages = "194--208",
publisher = "{MIT Press}",
title = "{Optimizing Clause Resolution: Beyond Unification Factoring}",
year = 1995,
}