Title: Formal aspects of the explanation and testing procedures in medical diagnosis
Subjects: Diagnosis, Mathematical models