An automata theoretic procedure for the propositional µ-calculus (1989)

by R S Street, E A Emerson
Venue:Information and Computation