Catenarian property in a domain of formal power series
scientific article; zbMATH DE number 3702818