Eine Methode zur Aktualisierung Aussagenlogischer Wissensbasen | lit.salon