Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes. Implementing a Generalized Version of Resolution. In Deborah L. McGuinness, George Ferguson, editors, Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. pages 55-60, AAAI Press / The MIT Press, 2004.
@inproceedings{DixonGHLP04,
title = {Implementing a Generalized Version of Resolution},
author = {Heidi E. Dixon and Matthew L. Ginsberg and David K. Hofer and Eugene M. Luks and Andrew J. Parkes},
year = {2004},
researchr = {https://researchr.org/publication/DixonGHLP04},
cites = {0},
citedby = {0},
pages = {55-60},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA},
editor = {Deborah L. McGuinness and George Ferguson},
publisher = {AAAI Press / The MIT Press},
isbn = {0-262-51183-5},
}