Robert S. Streett, E. Allen Emerson. An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. Inf. Comput., 81(3):249-264, June 1989.
@article{StreettE89, title = {An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus}, author = {Robert S. Streett and E. Allen Emerson}, year = {1989}, month = {June}, tags = {e-science}, researchr = {https://researchr.org/publication/StreettE89}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {81}, number = {3}, pages = {249-264}, }