On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (1996)

by D Janin, I Walukiewicz
Venue:CONCUR ‘96: Concurrency Theory, Proceedings of the 7th International Conference on Concurrency Theory