The Krull-Schmidt theorem for categories of finitely generated modules over valuation domains. - Zanardo, Paolo (Mathematica Scandinavica, 1990)