Convergence of formal biholomorphisms between minimal holomorphically nondegenerate real analytic CR manifolds

We introduce S-nondegenerate formal CR maps and establish their convergence (revision of a preliminary version).