On guarded transformation in the modal μ-calculus

Florian Bruse, Oliver Friedmann, Martin Lange. On guarded transformation in the modal μ-calculus. Logic Journal of the IGPL, 23(2):194-216, 2015. [doi]

Abstract

Abstract is missing.