Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift. Optimizing Clause Resolution: Beyond Unification Factoring. In ILPS. pages 194-208, 1995.
@inproceedings{DawsonRRS95,
title = {Optimizing Clause Resolution: Beyond Unification Factoring},
author = {Steven Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan and Terrance Swift},
year = {1995},
tags = {optimization, C++},
researchr = {https://researchr.org/publication/DawsonRRS95},
cites = {0},
citedby = {0},
pages = {194-208},
booktitle = {ILPS},
}