A Method of Similarity-Driven Knowledge Revision for Type Specializations. - Nobuhiro Morita; Makoto Haraguchi; Yoshiaki Okubo (ALT, 1999)