Title: Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme