Operator Component Matrix Model for IMP Program Diagnosis. - Zhao-Fu Fan; Yunfei Jiang (IJCAI, 2007)