Eine Methode zur Aktualisierung Aussagenlogischer Wissensbasen by Andreas Weber | Lex | Lex