Über die Behandlung von Diagnoseproblemen mit Mitteln der mathematischen Logik. - Federmutz, Horst (Univ., Fak. f. Physik, 1981)