A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
The International journal of computational intelligence systems/International journal of computational intelligence systems