E. S. O'keefe, “Verification of a Conjecture of Th. Skolem”., Math. Scand., vol. 9, pp. 80–82, Dec. 1961, doi: 10.7146/math.scand.a-10624.