O’keefe, E.S. 1961. Verification of a Conjecture of Th. Skolem. MATHEMATICA SCANDINAVICA. 9, (Dec. 1961), 80–82. DOI:https://doi.org/10.7146/math.scand.a-10624.