Definition: $R$ is a valuation ring with value group isomorphic to $(\mathbb Z,+)$
(No citations retrieved.)