Transformation approach for consistency in object-oriented knowledge bases. - Hsin-Hsen Yao; Hwa Soo Kim (SIGART Newsl., 1989)