An Infinitary Treatment of Full Mu-Calculus.

Bahareh Afshari, Gerhard Jger, Graham E. Leigh

Browse the full WoLLIC paper archive.