A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.

Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu

Browse the full ISKE paper archive.