On closure ordinals for the modal mu−calculus - Afshari, B; Leigh, G (Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik, 2013)