Andreas Weber 0002 Updating Propositional Formulas. 487-500 1986 Expert Database Conf. db/conf/eds/eds86.html#Weber86