Zanardo, P. The Krull-Schmidt Theorem for Categories of Finitely Generated Modules over Valuation Domains. Math. Scand. 1990, 66, 5-11. https://doi.org/10.7146/math.scand.a-12286.