Peiyao Liu, Yang Xu 0001, Jun Liu 0001, Shuwei Chen, Feng Cao, Guanfeng Wu. Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci., 622:337-356, April 2023. [doi]
@article{LiuXLCCW23,
title = {Fully reusing clause deduction algorithm based on standard contradiction separation rule},
author = {Peiyao Liu and Yang Xu 0001 and Jun Liu 0001 and Shuwei Chen and Feng Cao and Guanfeng Wu},
year = {2023},
month = {April},
doi = {10.1016/j.ins.2022.11.128},
url = {https://doi.org/10.1016/j.ins.2022.11.128},
researchr = {https://researchr.org/publication/LiuXLCCW23},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {622},
pages = {337-356},
}