Kuncak, ViktorRustan, K.Leino, M.2007-08-212007-08-212007-08-212003https://infoscience.epfl.ch/handle/20.500.14299/10359On computing the fixpoint of a set of boolean equationstext::report