Some results on complexity of μ-calculus evaluation in the black-box modelPaweł ParysRAIRO-Theor. Inf. Appl., 47 1 (2013) 97-109DOI: https://doi.org/10.1051/ita/2012030
