1. KADS: A Principled Approach to Knowledge Based Systems Development,1993
2. Theory refinement combining analytical and empirical methods;Ourston;Artificial Intelligence,1994
3. Refinement of first-order horn-clause domain theories;Richards;Machine Learning,1995
4. Revision of Production System Rule-bases;Murphy,1994
5. Automatic Refinement of Expert System Knowledge Bases. Research Notes in Artificial Intelligence;Ginsberg,1988