Piero A. Bonatti Carsten Lutz Aniello Murano Moshe Y. Vardi The Complexity of Enriched Mu-Calculi http://arxiv.org/abs/0809.0360 2008 CoRR abs/0809.0360 db/journals/corr/corr0809.html#abs-0809-0360