命题公式的一种演绎判定方法
齐德昱 李小薪
A Deduction-Based Decision Method of Propositional Formulas
Qi De-yu Li Xiao-xin
华南理工大学学报(自然科学版) . 2008, (9): 71 -76 .