@inproceedings{AL13,
  title = "{On closure ordinals for the modal mu-calculus}",
  author = "Bahareh Afshari and Graham E. Leigh",
  year = "2013",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Closure ordinals, Modal mu-calculus, Tableaux",
  booktitle = "Computer Science Logic 2013 (CSL 2013)",
  editor = "Simona Ronchi Della Rocca",
  isbn = "978-3-939897-60-6",
  issn = "1868-8969",
  pages = "30--44",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  volume = "23",
  doi = "10.4230/LIPIcs.CSL.2013.30",
}