O'keefe ES. Verification of a Conjecture of Th. Skolem. Math. Scand. 1961;9:80-82. doi:10.7146/math.scand.a-10624