基于Godel蕴涵算子的一种新型反向三I算法
宋 颖,张兴芳
New reverse triple I method based on Godel implication operator
SONG Ying,ZHANG Xing-fang
计算机工程与应用 . 2009, (25): 45 -47 .  DOI: 10.3778/j.issn.1002-8331.2009.25.014