Nicht-monotone Logik Seminar an d. Univ. Karlsruhe 1988 (1989)