Cut-free completeness for modal mu-calculus.

Bahareh Afshari, Graham E. Leigh

Browse the full LICS paper archive.