Pogorzelski HA. Recursive Arithmetic of Skolem. Math. Scand. 1962;11:33-36. doi:10.7146/math.scand.a-10647