Andreas Weber 0002 Algorithms for Propositional Updates. 335-346 1987 conf/csl/1987 CSL db/conf/csl/csl87.html#Weber87 http://dx.doi.org/10.1007/3-540-50241-6_48