Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory. - David C. Wilkins; Kok-Wah Tan (ML, 1989)