The μ-calculus alternation-depth hierarchy is strict on binary trees André Arnold RAIRO-Theor. Inf. Appl., 33 4-5 (1999) 329-339 Published online: 15 August 2002 DOI: 10.1051/ita:1999121