Stickel and Tyson. "An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction." International Joint Conference on Artificial Intelligence, 1985.
Markdown
[Stickel and Tyson. "An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/stickel1985ijcai-analysis/)
BibTeX
@inproceedings{stickel1985ijcai-analysis,
title = {{An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction}},
author = {Stickel, Mark E. and Tyson, Mabry},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {1073-1075},
url = {https://mlanthology.org/ijcai/1985/stickel1985ijcai-analysis/}
}