Über die Behandlung von Diagnoseproblemen mit Mitteln der mathematische Logik - Federmutz, Horst (Eberhard-Karls-Universität, 1981)