Size measures and alphabetic equivalence in the μ-calculus.

Clemens Kupke, Johannes Marti, Yde Venema

Browse the full LICS paper archive.