Oger, Francis. “Cancellation of Abelian Groups of Finite Rank Modulo Elementary Equivalence”. Mathematica Scandinavica, vol. 67, June 1990, pp. 5-14, https://doi.org/10.7146/math.scand.a-12315.