Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme | lit.salon