Hantao Zhang, Mark E. Stickel. Implementing the Davis-Putnam Method. Journal of Automated Reasoning, 24(1/2):277-296, 2000.
@article{ZhangS00:3,
title = {Implementing the Davis-Putnam Method},
author = {Hantao Zhang and Mark E. Stickel},
year = {2000},
tags = {e-science},
researchr = {https://researchr.org/publication/ZhangS00%3A3},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {24},
number = {1/2},
pages = {277-296},
}