Emerson, E. A.E. A.EmersonLei, C. L.C. L.Lei2009-04-272018-07-062009-04-272018-07-061986http://ntur.lib.ntu.edu.tw//handle/246246/154327en-USEfficient Model Checking in Fragments of the Propositional Mu-Calculusconference paper