Yalin Zheng Guang Yang 0002 Jing Zheng Peican Huang Approximate Knowledge Mass and Extended Automation Reasoning System in Type II Topological Logic. 200-204 2008 FSKD (1) http://dx.doi.org/10.1109/FSKD.2008.409 conf/fskd/2008-1 db/conf/fskd/fskd2008-1.html#ZhengYZH08