On the expressive power of monadic least fixed point logic
scientific article; zbMATH DE number 5013343