Lei Liu, Sen Zhang, Lu Hong Diao, Shuying Yan, Cungen Cao. Automatic Verification of isa Relations Based on Features. In Yixin Chen, Hepu Deng, Degan Zhang, Yingyuan Xiao, editors, FSKD 2009, Sixth International Conference on Fuzzy Systems and Knowledge Discovery, Tianjin, China, 14-16 August 2009, 6 Volumes. pages 70-74, IEEE Computer Society, 2009. [doi]
Abstract is missing.