Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme - Dix, Jürgen 1961- (1992)