Automata for the modal µ-calculus and related results (1995)

by D Janin, I Walukiewicz
Venue:In MFCS, LNCS 969