Efficient Model Checking (1986)

by E A Emerson, C Lei
Venue:in Fragments of the Propositional Mu-Calculus, in Proceedings of LlCS