@Article{         Bojanczyk:2014kx,
  Author        = "Bojanczyk, Mikolaj and Dittmann, Christoph and Kreutzer, Stephan",
  date-added    = "2014-06-26 13:27:02 +0000",
  date-modified = "2014-06-26 13:27:08 +0000",
  EPrint        = "1405.2234",
  Month         = "05",
  Title         = "Decomposition Theorems and Model-Checking for the Modal {$\mu$}-Calculus",
  URL           = "http://arxiv.org/abs/1405.2234",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1405.2234",
  File          = "Decomposition Theorems and Model-Checking for the Modal {$\mu$}-Calculus - Bojanczyk, Dittmann, Kreutzer (0) (0) - a - a - z.pdf"
}

@Article{ Bojanczyk:2014kx, Author = "Bojanczyk, Mikolaj and Dittmann, Christoph and Kreutzer, Stephan", date-added = "2014-06-26 13:27:02 +0000", date-modified = "2014-06-26 13:27:08 +0000", EPrint = "1405.2234", Month = "05", Title = "Decomposition Theorems and Model-Checking for the Modal {$\mu$}-Calculus", URL = "http://arxiv.org/abs/1405.2234", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1405.2234", File = "Decomposition Theorems and Model-Checking for the Modal {$\mu$}-Calculus - Bojanczyk, Dittmann, Kreutzer (0) (0) - a - a - z.pdf" }