A Deduction-Based Decision Method of Propositional Formulas
Qi De-yu Li Xiao-xin
Journal of South China University of Technology (Natural Science Edition) . 2008, (9): 71 -76 .