A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance | IEEE Conference Publication | IEEE Xplore