@article {12831,
	title = {Efficient local model-checking for fragments of the modal $\mu$-calculus},
	journal = {Tools and Algorithms for the Construction and Analysis of Systems},
	year = {1996},
	month = {1996///},
	pages = {107 - 126},
	author = {Bhat,G. and Cleaveland, Rance}
}
