On the expression complexity of the modal µ-calculus model checking. Unpublished manuscript (1996)

by S Dziembowski, M Jurdziński, D Niwiński