H. A. Pogorzelski, “Recursive Arithmetic of Skolem”., Math. Scand., vol. 11, pp. 33–36, Jun. 1962.