The implicit function theorem for ultradifferentiable mappings
scientific article; zbMATH DE number 3732360