Robert S. Streett, E. Allen Emerson: An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus.Inf. Comput. 81(3): 249-264 (1989)
1985
[c5]
Robert S. Streett: Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping.Logic of Programs 1985: 359-372
data released under the ODC-BY 1.0 license. See also our legal information page