Zanardo P. The Krull-Schmidt theorem for categories of finitely generated modules over valuation domains. Math. Scand. 1990;66:5-11. doi:10.7146/math.scand.a-12286