CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic

Feng Cao, Yang Xu 0001, Jun Liu, Shuwei Chen, Xinran Ning. CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. Symmetry, 11(9):1142, 2019. [doi]