High-level reasoning in cooperative knowledge system. - Fangqing Zhang; Dayou Liu; Rikun Tang (TAI, 1990)