@TechReport{      mu,
  Author        = "Arnold, Andr{\'e} and Niwi{\'n}ski, Damian and Parys, Pawe{\l}",
  date-added    = "2020-12-13 20:31:34 +0100",
  date-modified = "2020-12-13 20:31:53 +0100",
  Title         = "A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation",
  Year          = "2020",
  File          = "A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation - 2020-mu-calculus-quasipolynomial - a - m.pdf"
}

@TechReport{ mu, Author = "Arnold, Andr{\'e} and Niwi{\'n}ski, Damian and Parys, Pawe{\l}", date-added = "2020-12-13 20:31:34 +0100", date-modified = "2020-12-13 20:31:53 +0100", Title = "A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation", Year = "2020", File = "A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation - 2020-mu-calculus-quasipolynomial - a - m.pdf" }