T. H. Hu, Chuan Yi Tang, Richard C. T. Lee. An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving. Annals of Mathematics and Artificial Intelligence, 6(1-3):235-251, 1992.
@article{HuTL92,
title = {An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving},
author = {T. H. Hu and Chuan Yi Tang and Richard C. T. Lee},
year = {1992},
tags = {analysis, C++},
researchr = {https://researchr.org/publication/HuTL92},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {6},
number = {1-3},
pages = {235-251},
}