@Article{         KuncakLeino,
  Author        = "Kuncak, Viktor and Leino, K. Rustan M.",
  date-added    = "2014-03-24 08:30:15 +0000",
  date-modified = "2014-03-24 08:30:18 +0000",
  EPrint        = "cs/0408045",
  Title         = "On computing the fixpoint of a set of boolean equations",
  URL           = "http://arxiv.org/abs/cs/0408045",
  bdsk-url-1    = "http://arxiv.org/abs/cs/0408045",
  File          = "On computing the fixpoint of a set of boolean equations - Kuncak, Leino (0) (0) - a - a - z.pdf"
}

@Article{ KuncakLeino, Author = "Kuncak, Viktor and Leino, K. Rustan M.", date-added = "2014-03-24 08:30:15 +0000", date-modified = "2014-03-24 08:30:18 +0000", EPrint = "cs/0408045", Title = "On computing the fixpoint of a set of boolean equations", URL = "http://arxiv.org/abs/cs/0408045", bdsk-url-1 = "http://arxiv.org/abs/cs/0408045", File = "On computing the fixpoint of a set of boolean equations - Kuncak, Leino (0) (0) - a - a - z.pdf" }