@misc{indiciae8471d3cd0a2b,
  title = {EXPTIME Tableaux for the Coalgebraic mu-Calculus},
  author = {Corina Cirstea and Clemens Kupke and Dirk Pattinson},
  year = {2011},
  doi = {10.2168/lmcs-7(3:3)2011},
  url = {https://arxiv.org/abs/1105.2246},
  note = {Source identifier: 1105.2246}
}