%0 Conference Paper %1 conf/ijcai/StickelT85 %A Stickel, Mark E. %A Tyson, Mabry %B IJCAI %D 1985 %E Joshi, Aravind K. %I Morgan Kaufmann %K dblp %P 1073-1075 %T An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#StickelT85

@inproceedings{conf/ijcai/StickelT85, added-at = {2019-08-20T00:00:00.000+0200}, author = {Stickel, Mark E. and Tyson, Mabry}, biburl = {https://www.bibsonomy.org/bibtex/22d53fc2054bf03c47560be9690cd56e0/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1985}, editor = {Joshi, Aravind K.}, ee = {http://ijcai.org/Proceedings/85-2/Papers/081.pdf}, interhash = {e87ebde396f9382894463bd6c999029b}, intrahash = {2d53fc2054bf03c47560be9690cd56e0}, keywords = {dblp}, pages = {1073-1075}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:47:52.000+0200}, title = {An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#StickelT85}, year = 1985 }