On the Proof Theory of the Modal mu-Calculus - Studer, Thomas - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s11225-008-9133-6