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