Ausarbeitungen der Vorträge des Seminars Wissensrepräsentation Inst. für Informatik II, Univ. Karlsruhe, Wintersemester 1986/87 (1987)