Girish Bhat Rance Cleaveland Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. 107-126 1996 conf/tacas/1996 TACAS db/conf/tacas/tacas96.html#BhatC96