Clause Elimination Methods in First-Order Logic Lifted from Propositional Logic
NING Xinran, XU Yang, CAO Feng, WU Guanfeng
Computer Engineering and Applications . 2019, (5): 18 -25 .  DOI: 10.3778/j.issn.1002-8331.1810-0305