Knowledge acquisition and verification tools for medical expert systems - Mars, NJI; Miller, PL (Med Decis Making, 1987)