Explanatory diagnoses and their characterization by circumscription
scientific article; zbMATH DE number 937289