Some Riemannian manifolds are expressed as a product manifold. Recently, I have read two articles about space-times. In both articles, the authors prove that a Riemannian manifold \bar{M}^n is expressed as a product of the form I×M^{n−1}. Both authors use similar techniques, namely integrable distribution, in this decomposition. Really, I do not understand this technique. But it is enough to know a characterization of Riemannian manifolds which we can express it as a product manifold M^1\times M^2.
Q1 Does this characterization exist?(if yes, a reference is required)
Q2 What conditions and proof hints could one think of to characterize these manifolds?