Some tendencies in non-monotonic reasoning - Dix, Jürgen 1961- (Universität Karlsruhe (TH), Fakultät für Informatik: Interner Bericht, 1991)