An Extension Rule Based First-Order Theorem Prover.

Xia Wu, Jigui Sun, Kun Hou

Browse the full KSEM paper archive.