A Bucket-Tree Based Algorithm for Automated Reasoning | IEEE Conference Publication | IEEE Xplore