O'keefe, Edward S. 1961. “Verification of a Conjecture of Th. Skolem”. Mathematica Scandinavica 9 (December): 80-82. https://doi.org/10.7146/math.scand.a-10624.