Family R qp-LGN of implication operator and its Triple I sustaining method
MENG Guang-wu,ZHANG Xing-fang
Computer Engineering and Applications . 2008, (28): 70 -72 .  DOI: 10.3778/j.issn.1002-8331.2008.28.025