Some results on complexity of μ-calculus evaluation in the black-box model Paweł Parys RAIRO-Theor. Inf. Appl., 47 1 (2013) 97-109 Published online: 10 January 2013 DOI: 10.1051/ita/2012030