H. A. Pogorzelski, “Recursive Arithmetic of Skolem”., Math. Scand., vol. 11, pp. 33–36, Jun. 1962, doi: 10.7146/math.scand.a-10647.