Antonella Santone Gigliola Vaglini Compositionality and locality for improving model checking in the selective mu-calculus. 291-311 2005 54 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/j.scico.2004.07.002 db/journals/scp/scp54.html#SantoneV05