An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus

Robert S. Streett, E. Allen Emerson. An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. Inf. Comput., 81(3):249-264, June 1989.

Abstract

Abstract is missing.