Zanardo, P. The Krull-Schmidt Theorem for Categories of Finitely Generated Modules over Valuation Domains. Math. Scand. 1990, 66, 5-11.