Qing Liu Jiyi Wang Semantic analysis of rough logical formulas based on granular computing. 393-396 2006 GrC https://doi.org/10.1109/GRC.2006.1635823 conf/grc/2006 db/conf/grc/grc2006.html#LiuW06