E. S. O’keefe, “Verification of a Conjecture of Th. Skolem”., Math. Scand., vol. 9, pp. 80–82, Dec. 1961.