@article{5598,
  title = "EXPTIME Tableaux for the Coalgebraic mu-Calculus",
  author = "Corina Cirstea and Clemens Kupke and Dirk Pattinson",
  year = "2011",
  journal = "Logical Methods in Computer Science",
  number = "3",
  url = "http://arxiv.org/pdf/1105.2246",
  volume = "7",
}