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

by E EMERSON, C LEI
Venue:In Proceedings of the 1st Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, CA