命题逻辑中非子句 <em>α</em>-有序线性广义归结方法

贾海瑞，徐扬，邓鹏

Non-Clausal α-Ordered Linear Generalized Resolution Method in Propositional Logic

JIA Hairui, XU Yang, DENG Peng

计算机科学与探索 . 2015, (7): 847 -853 . DOI: 10.3778/j.issn.1673-9418.1409058