An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.

Mark E. Stickel, Mabry Tyson

Browse the full IJCAI paper archive.