Jan M. Zytkow Jieming Zhu Robert Zembowicz Operational Definition Refinement: A Discovery Process. 76-81 1992 AAAI db/conf/aaai/aaai92.html#ZytkowZZ92