On Model-Checking for Fragments of µ-Calculus.

E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla

Browse the full CAV paper archive.