Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.

Florian Bruse, Marco Slzer, Martin Lange

Browse the full MFCS paper archive.