"Efficient Model Checking in Fragments of the Propositional Mu-Calculus ..."

E. Allen Emerson, Chin-Laung Lei (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics