@article{ITA_2013__47_1_97_0,
     author = {Parys, Pawe{\l}},
     title = {Some results on complexity of $\mu $-calculus evaluation in the black-box model},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {97--109},
     publisher = {EDP-Sciences},
     volume = {47},
     number = {1},
     year = {2013},
     doi = {10.1051/ita/2012030},
     zbl = {1269.68056},
     language = {en},
     url = {http://archive.numdam.org/articles/10.1051/ita/2012030/}
}