Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

E. Allen Emerson, Chin-Laung Lei

Browse the full LICS paper archive.