Efficient model checking in fragments of the propositional mu-calculus (1986)

by E A Emerson, C-L Lei
Venue:In Proc. of the 1 st Annual Sym. on Logic in Computer Science