Automata for the modal µ-calculus and related results, LNCS volume 969 (1995)

by D Janin, I Walukiewicz