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