Thomas Studer On the Proof Theory of the Modal mu-Calculus. 343-363 2008 89 Studia Logica 3 http://dx.doi.org/10.1007/s11225-008-9133-6 db/journals/sLogica/sLogica89.html#Studer08