On modal mu-calculus and Büchi tree automata
scientific article; zbMATH DE number 983745