Eine Methode zur Aktualisierung Aussagenlogischer Wissensbasen. - Andreas Weber 010 (1987)