Separation, factorization and finite sheaves on Nash manifolds Michel Coste, Jesús M. Ruiz, Masahiro Shiota (1996) Compositio Mathematica
Smoothness of sums of convex sets with real analytic boundaries. Jan Boman (1990) Mathematica Scandinavica