Reasoning foundations of medical diagnosis - Ledley, RS; Lusted, LB (MD Comput, 1991)