Jian Zhong, Yang Xu 0001, Feng Cao. A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic. Int. J. Computational Intelligence Systems, 13(1):672-680, 2020. [doi]
@article{Zhong0C20,
title = {A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic},
author = {Jian Zhong and Yang Xu 0001 and Feng Cao},
year = {2020},
doi = {10.2991/ijcis.d.200521.001},
url = {https://doi.org/10.2991/ijcis.d.200521.001},
researchr = {https://researchr.org/publication/Zhong0C20},
cites = {0},
citedby = {0},
journal = {Int. J. Computational Intelligence Systems},
volume = {13},
number = {1},
pages = {672-680},
}