Automatic Verification of "isa" Relations Based on Features | IEEE Conference Publication | IEEE Xplore