Similarity degree and pseudo-distance of probability truth degree for formulas
YU Xi-chang1,CHEN Huai-jin2,TAN Gui-mei3
Computer Engineering and Applications . 2010, (27): 57 -61 .  DOI: 10.3778/j.issn.1002-8331.2010.27.015