Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 - Schmitt, Peter H. 1948-; Dix, Jürgen 1961-; Hähnle, R. (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht)