Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy | IEEE Conference Publication | IEEE Xplore