Boole function representation of pseudo-metric among many-valued formula
MA Qiaoyun1, WU Hongbo2
Computer Engineering and Applications . 2015, (23): 38 -41 .