Nichtmonotone Logiken eine Unters. der Formalisierungen nichtmonotoner Schlussweisen und die Implementation eines nichtmonotonen Reasoning-Systems - Brewka, Gerhard; Wittur, Karl-Heinz (Informatik-Berichte, 1984)