The variable hierarchy for the games \(\mu \)-calculus
scientific article; zbMATH DE number 5943614
scientific article