命题逻辑提升到一阶逻辑上的子句消去方法

命题逻辑提升到一阶逻辑上的子句消去方法

宁欣然，徐扬，曹峰，吴贯峰

Clause Elimination Methods in First-Order Logic Lifted from Propositional Logic

NING Xinran, XU Yang, CAO Feng, WU Guanfeng

计算机工程与应用 . 2019, (5): 18 -25 . DOI: 10.3778/j.issn.1002-8331.1810-0305