Knowledge acquisition and verification tools for medical expert systems - Maars, N. J. I; Miller, P. L (Med. Decision Making, 1987)