Mints, Grigori; Studer, Thomas (2012). Cut-elimination for the mu-calculus with one variable. In: D. Miller, D.; Esik, Z. (eds.) Fixed Points in Computer Science 2012.
