Countdown μ-Calculus.

Jedrzej Kolodziejski, Bartek Klin

Browse the full MFCS paper archive.