A selection property of the boolean $\mu $-calculus and some of its applicationsAndré ArnoldRAIRO-Theor. Inf. Appl., 31 4 (1997) 371-384DOI: https://doi.org/10.1051/ita/1997310403711
