Solution for logic inequality of τ(A→X)≥α type in system L
WANG Tingming
Computer Engineering and Applications . 2012, (16): 44 -46 .