中国科学院数学与系统科学研究院期刊网
$\mbox{Luk}$命题演算系统的析取范式逻辑不等式组的解法
李友雨，张兴芳
SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM
LI Youyu ,ZHANG Xingfang
系统科学与数学 . 2014, (2): 245 -256 .  DOI: 10.12341/jssms12268